<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
<meta http-equiv="X-UA-Compatible" content="IE=9"/>
<meta name="generator" content="Doxygen 1.8.6"/>
<title>SystemSharp: FactUniverse.cs Source File</title>
<link href="tabs.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
<link href="navtree.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="resize.js"></script>
<script type="text/javascript" src="navtree.js"></script>
<script type="text/javascript">
  $(document).ready(initResizable);
  $(window).load(resizeHeight);
</script>
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/search.js"></script>
<script type="text/javascript">
  $(document).ready(function() { searchBox.OnSelectItem(0); });
</script>
<link href="doxygen.css" rel="stylesheet" type="text/css" />
</head>
<body>
<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
<table cellspacing="0" cellpadding="0">
 <tbody>
 <tr style="height: 56px;">
  <td id="projectlogo"><img alt="Logo" src="logo.png"/></td>
  <td style="padding-left: 0.5em;">
   <div id="projectname">SystemSharp
   &#160;<span id="projectnumber">0.3</span>
   </div>
   <div id="projectbrief">A system-level modeling framework for designing real-time embedded systems</div>
  </td>
 </tr>
 </tbody>
</table>
</div>
<!-- end header part -->
<!-- Generated by Doxygen 1.8.6 -->
<script type="text/javascript">
var searchBox = new SearchBox("searchBox", "search",false,'Search');
</script>
  <div id="navrow1" class="tabs">
    <ul class="tablist">
      <li><a href="index.html"><span>Main&#160;Page</span></a></li>
      <li><a href="namespaces.html"><span>Packages</span></a></li>
      <li><a href="annotated.html"><span>Classes</span></a></li>
      <li class="current"><a href="files.html"><span>Files</span></a></li>
      <li>
        <div id="MSearchBox" class="MSearchBoxInactive">
        <span class="left">
          <img id="MSearchSelect" src="search/mag_sel.png"
               onmouseover="return searchBox.OnSearchSelectShow()"
               onmouseout="return searchBox.OnSearchSelectHide()"
               alt=""/>
          <input type="text" id="MSearchField" value="Search" accesskey="S"
               onfocus="searchBox.OnSearchFieldFocus(true)" 
               onblur="searchBox.OnSearchFieldFocus(false)" 
               onkeyup="searchBox.OnSearchFieldChange(event)"/>
          </span><span class="right">
            <a id="MSearchClose" href="javascript:searchBox.CloseResultsWindow()"><img id="MSearchCloseImg" border="0" src="search/close.png" alt=""/></a>
          </span>
        </div>
      </li>
    </ul>
  </div>
  <div id="navrow2" class="tabs2">
    <ul class="tablist">
      <li><a href="files.html"><span>File&#160;List</span></a></li>
      <li><a href="globals.html"><span>File&#160;Members</span></a></li>
    </ul>
  </div>
</div><!-- top -->
<div id="side-nav" class="ui-resizable side-nav-resizable">
  <div id="nav-tree">
    <div id="nav-tree-contents">
      <div id="nav-sync" class="sync"></div>
    </div>
  </div>
  <div id="splitbar" style="-moz-user-select:none;" 
       class="ui-resizable-handle">
  </div>
</div>
<script type="text/javascript">
$(document).ready(function(){initNavTree('_fact_universe_8cs_source.html','');});
</script>
<div id="doc-content">
<!-- window showing the filter options -->
<div id="MSearchSelectWindow"
     onmouseover="return searchBox.OnSearchSelectShow()"
     onmouseout="return searchBox.OnSearchSelectHide()"
     onkeydown="return searchBox.OnSearchSelectKey(event)">
<a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(0)"><span class="SelectionMark">&#160;</span>All</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(1)"><span class="SelectionMark">&#160;</span>Classes</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(2)"><span class="SelectionMark">&#160;</span>Namespaces</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(3)"><span class="SelectionMark">&#160;</span>Files</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(4)"><span class="SelectionMark">&#160;</span>Functions</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(5)"><span class="SelectionMark">&#160;</span>Variables</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(6)"><span class="SelectionMark">&#160;</span>Typedefs</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(7)"><span class="SelectionMark">&#160;</span>Enumerations</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(8)"><span class="SelectionMark">&#160;</span>Enumerator</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(9)"><span class="SelectionMark">&#160;</span>Properties</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(10)"><span class="SelectionMark">&#160;</span>Events</a></div>

<!-- iframe showing the search results (closed by default) -->
<div id="MSearchResultsWindow">
<iframe src="javascript:void(0)" frameborder="0" 
        name="MSearchResults" id="MSearchResults">
</iframe>
</div>

<div class="header">
  <div class="headertitle">
<div class="title">FactUniverse.cs</div>  </div>
</div><!--header-->
<div class="contents">
<a href="_fact_universe_8cs.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a name="l00001"></a><span class="lineno">    1</span>&#160;</div>
<div class="line"><a name="l00020"></a><span class="lineno">   20</span>&#160;<span class="keyword">using</span> System;</div>
<div class="line"><a name="l00021"></a><span class="lineno">   21</span>&#160;<span class="keyword">using</span> System.Collections.Generic;</div>
<div class="line"><a name="l00022"></a><span class="lineno">   22</span>&#160;<span class="keyword">using</span> System.Linq;</div>
<div class="line"><a name="l00023"></a><span class="lineno">   23</span>&#160;<span class="keyword">using</span> System.Text;</div>
<div class="line"><a name="l00024"></a><span class="lineno">   24</span>&#160;<span class="keyword">using</span> System.Reactive;</div>
<div class="line"><a name="l00025"></a><span class="lineno">   25</span>&#160;<span class="keyword">using</span> System.Reactive.Subjects;</div>
<div class="line"><a name="l00026"></a><span class="lineno">   26</span>&#160;<span class="keyword">using</span> System.Reflection;</div>
<div class="line"><a name="l00027"></a><span class="lineno">   27</span>&#160;<span class="keyword">using</span> System.Reactive.Linq;</div>
<div class="line"><a name="l00028"></a><span class="lineno">   28</span>&#160;<span class="keyword">using</span> SystemSharp.Collections;</div>
<div class="line"><a name="l00029"></a><span class="lineno">   29</span>&#160;<span class="keyword">using</span> SystemSharp.Common;</div>
<div class="line"><a name="l00030"></a><span class="lineno">   30</span>&#160;<span class="keyword">using</span> SystemSharp.Analysis.Msil;</div>
<div class="line"><a name="l00031"></a><span class="lineno">   31</span>&#160;<span class="keyword">using</span> System.Diagnostics.Contracts;</div>
<div class="line"><a name="l00032"></a><span class="lineno">   32</span>&#160;<span class="keyword">using</span> System.Security;</div>
<div class="line"><a name="l00033"></a><span class="lineno">   33</span>&#160;<span class="keyword">using</span> System.Reactive.Concurrency;</div>
<div class="line"><a name="l00034"></a><span class="lineno">   34</span>&#160;<span class="keyword">using</span> SystemSharp.Components;</div>
<div class="line"><a name="l00035"></a><span class="lineno">   35</span>&#160;<span class="keyword">using</span> SystemSharp.Reporting;</div>
<div class="line"><a name="l00036"></a><span class="lineno">   36</span>&#160;<span class="keyword">using</span> SDILReader;</div>
<div class="line"><a name="l00037"></a><span class="lineno">   37</span>&#160;<span class="keyword">using</span> System.Diagnostics;</div>
<div class="line"><a name="l00038"></a><span class="lineno">   38</span>&#160;</div>
<div class="line"><a name="l00039"></a><span class="lineno">   39</span>&#160;<span class="keyword">namespace </span>SystemSharp.Analysis</div>
<div class="line"><a name="l00040"></a><span class="lineno">   40</span>&#160;{</div>
<div class="line"><a name="l00045"></a><span class="lineno"><a class="line" href="interface_system_sharp_1_1_analysis_1_1_i_assume_called.html">   45</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">interface </span><a class="code" href="interface_system_sharp_1_1_analysis_1_1_i_assume_called.html">IAssumeCalled</a></div>
<div class="line"><a name="l00046"></a><span class="lineno">   46</span>&#160;    {</div>
<div class="line"><a name="l00047"></a><span class="lineno">   47</span>&#160;    }</div>
<div class="line"><a name="l00048"></a><span class="lineno">   48</span>&#160;</div>
<div class="line"><a name="l00053"></a><span class="lineno">   53</span>&#160;    [AttributeUsage(AttributeTargets.Method, Inherited=<span class="keyword">true</span>, AllowMultiple=<span class="keyword">true</span>)]</div>
<div class="line"><a name="l00054"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_analysis_1_1_assume_called.html">   54</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">class </span><a class="code" href="class_system_sharp_1_1_analysis_1_1_assume_called.html">AssumeCalled</a> : Attribute, <a class="code" href="interface_system_sharp_1_1_analysis_1_1_i_assume_called.html">IAssumeCalled</a></div>
<div class="line"><a name="l00055"></a><span class="lineno">   55</span>&#160;    {</div>
<div class="line"><a name="l00056"></a><span class="lineno">   56</span>&#160;    }</div>
<div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;</div>
<div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;    [AttributeUsage(AttributeTargets.Field, AllowMultiple = <span class="keyword">true</span>, Inherited = <span class="keyword">true</span>)]</div>
<div class="line"><a name="l00062"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_analysis_1_1_assume_const.html">   62</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">class </span><a class="code" href="class_system_sharp_1_1_analysis_1_1_assume_const.html">AssumeConst</a> : Attribute</div>
<div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;    {</div>
<div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160;    }</div>
<div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;</div>
<div class="line"><a name="l00069"></a><span class="lineno"><a class="line" href="namespace_system_sharp_1_1_analysis.html#a5afaccee1c5869e7eccea81e8f5adfa7">   69</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">enum</span> <a class="code" href="namespace_system_sharp_1_1_analysis.html#a5afaccee1c5869e7eccea81e8f5adfa7">EMethodDiscoveryStage</a></div>
<div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;    {</div>
<div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;        <a class="code" href="namespace_system_sharp_1_1_analysis.html#a5afaccee1c5869e7eccea81e8f5adfa7ac36cc19496625cbf9888299bf4987a4d">FirstDiscovery</a>,</div>
<div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;</div>
<div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;        <a class="code" href="namespace_system_sharp_1_1_analysis.html#a5afaccee1c5869e7eccea81e8f5adfa7a643562a9ae7099c8aabfdc93478db117">Processing</a></div>
<div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;    }</div>
<div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;</div>
<div class="line"><a name="l00085"></a><span class="lineno"><a class="line" href="interface_system_sharp_1_1_analysis_1_1_i_on_method_discovery.html">   85</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">interface </span><a class="code" href="interface_system_sharp_1_1_analysis_1_1_i_on_method_discovery.html">IOnMethodDiscovery</a></div>
<div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;    {</div>
<div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;        <span class="keywordtype">void</span> OnDiscovery(MethodBase method, <a class="code" href="namespace_system_sharp_1_1_analysis.html#a5afaccee1c5869e7eccea81e8f5adfa7">EMethodDiscoveryStage</a> stage);</div>
<div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;    }</div>
<div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;</div>
<div class="line"><a name="l00098"></a><span class="lineno"><a class="line" href="interface_system_sharp_1_1_analysis_1_1_i_on_method_call.html">   98</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">interface </span><a class="code" href="interface_system_sharp_1_1_analysis_1_1_i_on_method_call.html">IOnMethodCall</a></div>
<div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;    {</div>
<div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;        <span class="keywordtype">void</span> OnMethodCall(<a class="code" href="class_system_sharp_1_1_analysis_1_1_method_facts.html">MethodFacts</a> callerFacts, MethodBase callee, <span class="keywordtype">int</span> ilIndex);</div>
<div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;    }</div>
<div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;</div>
<div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;    [AttributeUsage(AttributeTargets.Method|AttributeTargets.Constructor, Inherited = <span class="keyword">true</span>, AllowMultiple = <span class="keyword">true</span>)]</div>
<div class="line"><a name="l00113"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_analysis_1_1_break_on_method_discovery.html">  113</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">class </span><a class="code" href="class_system_sharp_1_1_analysis_1_1_break_on_method_discovery.html">BreakOnMethodDiscovery</a>: Attribute, <a class="code" href="interface_system_sharp_1_1_analysis_1_1_i_on_method_discovery.html">IOnMethodDiscovery</a></div>
<div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;    {</div>
<div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;<span class="preprocessor">        #region IOnMethodDiscovery Member</span></div>
<div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;<span class="preprocessor"></span></div>
<div class="line"><a name="l00117"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_analysis_1_1_break_on_method_discovery.html#aa54a9204d9c38a0f3426e31ada0676cf">  117</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_analysis_1_1_break_on_method_discovery.html#aa54a9204d9c38a0f3426e31ada0676cf">OnDiscovery</a>(MethodBase method, <a class="code" href="namespace_system_sharp_1_1_analysis.html#a5afaccee1c5869e7eccea81e8f5adfa7">EMethodDiscoveryStage</a> stage)</div>
<div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;        {</div>
<div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;            System.Diagnostics.Debugger.Break();</div>
<div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;        }</div>
<div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;</div>
<div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;<span class="preprocessor">        #endregion</span></div>
<div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;<span class="preprocessor"></span>    }</div>
<div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;</div>
<div class="line"><a name="l00128"></a><span class="lineno"><a class="line" href="interface_system_sharp_1_1_analysis_1_1_i_on_type_discovery.html">  128</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">interface </span><a class="code" href="interface_system_sharp_1_1_analysis_1_1_i_on_type_discovery.html">IOnTypeDiscovery</a></div>
<div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;    {</div>
<div class="line"><a name="l00134"></a><span class="lineno">  134</span>&#160;        <span class="keywordtype">void</span> OnDiscovery(Type type);</div>
<div class="line"><a name="l00135"></a><span class="lineno">  135</span>&#160;    }</div>
<div class="line"><a name="l00136"></a><span class="lineno">  136</span>&#160;</div>
<div class="line"><a name="l00140"></a><span class="lineno">  140</span>&#160;    [AttributeUsage(AttributeTargets.Class | AttributeTargets.Struct, Inherited = <span class="keyword">true</span>, AllowMultiple = <span class="keyword">true</span>)]</div>
<div class="line"><a name="l00141"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_analysis_1_1_break_on_type_discovery.html">  141</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">class </span><a class="code" href="class_system_sharp_1_1_analysis_1_1_break_on_type_discovery.html">BreakOnTypeDiscovery</a> : Attribute, <a class="code" href="interface_system_sharp_1_1_analysis_1_1_i_on_type_discovery.html">IOnTypeDiscovery</a></div>
<div class="line"><a name="l00142"></a><span class="lineno">  142</span>&#160;    {</div>
<div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;<span class="preprocessor">        #region IOnMethodDiscovery Member</span></div>
<div class="line"><a name="l00144"></a><span class="lineno">  144</span>&#160;<span class="preprocessor"></span></div>
<div class="line"><a name="l00145"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_analysis_1_1_break_on_type_discovery.html#a6e53e526cf81e594a5b44f5830b1acdc">  145</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_analysis_1_1_break_on_type_discovery.html#a6e53e526cf81e594a5b44f5830b1acdc">OnDiscovery</a>(Type type)</div>
<div class="line"><a name="l00146"></a><span class="lineno">  146</span>&#160;        {</div>
<div class="line"><a name="l00147"></a><span class="lineno">  147</span>&#160;            System.Diagnostics.Debugger.Break();</div>
<div class="line"><a name="l00148"></a><span class="lineno">  148</span>&#160;        }</div>
<div class="line"><a name="l00149"></a><span class="lineno">  149</span>&#160;</div>
<div class="line"><a name="l00150"></a><span class="lineno">  150</span>&#160;<span class="preprocessor">        #endregion</span></div>
<div class="line"><a name="l00151"></a><span class="lineno">  151</span>&#160;<span class="preprocessor"></span>    }</div>
<div class="line"><a name="l00152"></a><span class="lineno">  152</span>&#160;</div>
<div class="line"><a name="l00157"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_analysis_1_1_fact_universe.html">  157</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">class </span><a class="code" href="class_system_sharp_1_1_analysis_1_1_fact_universe.html">FactUniverse</a></div>
<div class="line"><a name="l00158"></a><span class="lineno">  158</span>&#160;    {</div>
<div class="line"><a name="l00162"></a><span class="lineno">  162</span>&#160;        <span class="keyword">public</span> <span class="keyword">static</span> <a class="code" href="class_system_sharp_1_1_analysis_1_1_fact_universe.html">FactUniverse</a> Instance</div>
<div class="line"><a name="l00163"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_analysis_1_1_fact_universe.html#a6332f1bbbf7abf8abcabe24198fa8221">  163</a></span>&#160;        {</div>
<div class="line"><a name="l00164"></a><span class="lineno">  164</span>&#160;            <span class="keyword">get</span> { <span class="keywordflow">return</span> DesignContext.Instance.Universe; }</div>
<div class="line"><a name="l00165"></a><span class="lineno">  165</span>&#160;        }</div>
<div class="line"><a name="l00166"></a><span class="lineno">  166</span>&#160;</div>
<div class="line"><a name="l00170"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_analysis_1_1_fact_universe.html#a6d4ca9c642706a248fd6b6b9a34f213a">  170</a></span>&#160;        <span class="keyword">public</span> IObservable&lt;TypeFacts&gt; KnownTypes { <span class="keyword">get</span>; <span class="keyword">private</span> set; }</div>
<div class="line"><a name="l00171"></a><span class="lineno">  171</span>&#160;</div>
<div class="line"><a name="l00175"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_analysis_1_1_fact_universe.html#a1c8df500b7e6320d8c5c3ea90f489eb5">  175</a></span>&#160;        <span class="keyword">public</span> IObservable&lt;TypeFacts&gt; KnownInterfaces { <span class="keyword">get</span>; <span class="keyword">private</span> set; }</div>
<div class="line"><a name="l00176"></a><span class="lineno">  176</span>&#160;</div>
<div class="line"><a name="l00180"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_analysis_1_1_fact_universe.html#a0e01b6edce824940fdeeab0b058e3a86">  180</a></span>&#160;        <span class="keyword">public</span> IObservable&lt;TypeFacts&gt; KnownAbstractClasses { <span class="keyword">get</span>; <span class="keyword">private</span> set; }</div>
<div class="line"><a name="l00181"></a><span class="lineno">  181</span>&#160;</div>
<div class="line"><a name="l00185"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_analysis_1_1_fact_universe.html#aa3df8e27085f119b9a5227a2336b3521">  185</a></span>&#160;        <span class="keyword">public</span> IObservable&lt;TypeFacts&gt; KnownValueTypes { <span class="keyword">get</span>; <span class="keyword">private</span> set; }</div>
<div class="line"><a name="l00186"></a><span class="lineno">  186</span>&#160;</div>
<div class="line"><a name="l00190"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_analysis_1_1_fact_universe.html#a289361b00a7fb30d340c56a402d99136">  190</a></span>&#160;        <span class="keyword">public</span> IObservable&lt;TypeFacts&gt; KnownInstantiables { <span class="keyword">get</span>; <span class="keyword">private</span> set; }</div>
<div class="line"><a name="l00191"></a><span class="lineno">  191</span>&#160;</div>
<div class="line"><a name="l00195"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_analysis_1_1_fact_universe.html#af549d1b29db857056a9d10a5f6802280">  195</a></span>&#160;        <span class="keyword">public</span> IObservable&lt;MethodFacts&gt; KnownMethods { <span class="keyword">get</span>; <span class="keyword">private</span> set; }</div>
<div class="line"><a name="l00196"></a><span class="lineno">  196</span>&#160;</div>
<div class="line"><a name="l00200"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_analysis_1_1_fact_universe.html#a2400b019cdac5d8a636f91e7ea530a20">  200</a></span>&#160;        <span class="keyword">public</span> IObservable&lt;MethodFacts&gt; KnownConstructors { <span class="keyword">get</span>; <span class="keyword">private</span> set; }</div>
<div class="line"><a name="l00201"></a><span class="lineno">  201</span>&#160;</div>
<div class="line"><a name="l00205"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_analysis_1_1_fact_universe.html#afcd1b8f106b786a1d39b628b92f091be">  205</a></span>&#160;        <span class="keyword">public</span> IObservable&lt;MethodFacts&gt; KnownMethodBases { <span class="keyword">get</span>; <span class="keyword">private</span> set; }</div>
<div class="line"><a name="l00206"></a><span class="lineno">  206</span>&#160;</div>
<div class="line"><a name="l00210"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_analysis_1_1_fact_universe.html#a7be13bd8ebcdaf537e8ff9190f636848">  210</a></span>&#160;        <span class="keyword">public</span> IObservable&lt;AllocationSite&gt; KnownAllocationSites { <span class="keyword">get</span>; <span class="keyword">private</span> set; }</div>
<div class="line"><a name="l00211"></a><span class="lineno">  211</span>&#160;</div>
<div class="line"><a name="l00215"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_analysis_1_1_fact_universe.html#ac2abea9d95dac3bfc46ccebb76eefeea">  215</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">bool</span> IsCompleted { <span class="keyword">get</span>; <span class="keyword">private</span> set; }</div>
<div class="line"><a name="l00216"></a><span class="lineno">  216</span>&#160;</div>
<div class="line"><a name="l00217"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_analysis_1_1_fact_universe.html#a84d65e00b3b613258522d6b60148dffe">  217</a></span>&#160;        <span class="keyword">public</span> <span class="keyword">const</span> <span class="keywordtype">string</span> UniverseCompletedErrorMsg = <span class="stringliteral">&quot;Fact universe is already completed&quot;</span>;</div>
<div class="line"><a name="l00218"></a><span class="lineno">  218</span>&#160;</div>
<div class="line"><a name="l00219"></a><span class="lineno">  219</span>&#160;        <span class="keyword">private</span> ObservableSet&lt;AllocationSite&gt; _allocSites = <span class="keyword">new</span> ObservableSet&lt;AllocationSite&gt;();</div>
<div class="line"><a name="l00220"></a><span class="lineno">  220</span>&#160;</div>
<div class="line"><a name="l00221"></a><span class="lineno">  221</span>&#160;        <span class="keyword">private</span> ObservableCache&lt;Type, TypeFacts&gt; _knownTypes;</div>
<div class="line"><a name="l00222"></a><span class="lineno">  222</span>&#160;        <span class="keyword">private</span> ObservableCache&lt;MethodBase, MethodFacts&gt; _knownMethods;</div>
<div class="line"><a name="l00223"></a><span class="lineno">  223</span>&#160;        <span class="keyword">private</span> ObservableCache&lt;FieldInfo, FieldFacts&gt; _knownFields;</div>
<div class="line"><a name="l00224"></a><span class="lineno">  224</span>&#160;</div>
<div class="line"><a name="l00225"></a><span class="lineno">  225</span>&#160;        <span class="keyword">private</span> <a class="code" href="class_system_sharp_1_1_analysis_1_1_type_facts.html">TypeFacts</a> CreateTypeFacts(Type type)</div>
<div class="line"><a name="l00226"></a><span class="lineno">  226</span>&#160;        {</div>
<div class="line"><a name="l00227"></a><span class="lineno">  227</span>&#160;            <a class="code" href="interface_system_sharp_1_1_analysis_1_1_i_on_type_discovery.html">IOnTypeDiscovery</a> disc = (<a class="code" href="interface_system_sharp_1_1_analysis_1_1_i_on_type_discovery.html">IOnTypeDiscovery</a>)type.GetCustomOrInjectedAttribute(typeof(<a class="code" href="interface_system_sharp_1_1_analysis_1_1_i_on_type_discovery.html">IOnTypeDiscovery</a>));</div>
<div class="line"><a name="l00228"></a><span class="lineno">  228</span>&#160;            <span class="keywordflow">if</span> (disc != null)</div>
<div class="line"><a name="l00229"></a><span class="lineno">  229</span>&#160;                disc.OnDiscovery(type);</div>
<div class="line"><a name="l00230"></a><span class="lineno">  230</span>&#160;</div>
<div class="line"><a name="l00231"></a><span class="lineno">  231</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">new</span> <a class="code" href="class_system_sharp_1_1_analysis_1_1_type_facts.html">TypeFacts</a>(<span class="keyword">this</span>, type);</div>
<div class="line"><a name="l00232"></a><span class="lineno">  232</span>&#160;        }</div>
<div class="line"><a name="l00233"></a><span class="lineno">  233</span>&#160;</div>
<div class="line"><a name="l00234"></a><span class="lineno">  234</span>&#160;        <span class="keyword">private</span> <a class="code" href="class_system_sharp_1_1_analysis_1_1_method_facts.html">MethodFacts</a> CreateMethodFacts(MethodBase method)</div>
<div class="line"><a name="l00235"></a><span class="lineno">  235</span>&#160;        {</div>
<div class="line"><a name="l00236"></a><span class="lineno">  236</span>&#160;            <a class="code" href="interface_system_sharp_1_1_analysis_1_1_i_on_method_discovery.html">IOnMethodDiscovery</a> disc = (<a class="code" href="interface_system_sharp_1_1_analysis_1_1_i_on_method_discovery.html">IOnMethodDiscovery</a>)method.GetCustomOrInjectedAttribute(typeof(<a class="code" href="interface_system_sharp_1_1_analysis_1_1_i_on_method_discovery.html">IOnMethodDiscovery</a>));</div>
<div class="line"><a name="l00237"></a><span class="lineno">  237</span>&#160;            <span class="keywordflow">if</span> (disc != null)</div>
<div class="line"><a name="l00238"></a><span class="lineno">  238</span>&#160;                disc.OnDiscovery(method, EMethodDiscoveryStage.FirstDiscovery);</div>
<div class="line"><a name="l00239"></a><span class="lineno">  239</span>&#160;</div>
<div class="line"><a name="l00240"></a><span class="lineno">  240</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">new</span> <a class="code" href="class_system_sharp_1_1_analysis_1_1_method_facts.html">MethodFacts</a>(<span class="keyword">this</span>, method);</div>
<div class="line"><a name="l00241"></a><span class="lineno">  241</span>&#160;        }</div>
<div class="line"><a name="l00242"></a><span class="lineno">  242</span>&#160;</div>
<div class="line"><a name="l00243"></a><span class="lineno">  243</span>&#160;        <span class="keyword">private</span> FieldFacts CreateFieldFacts(FieldInfo field)</div>
<div class="line"><a name="l00244"></a><span class="lineno">  244</span>&#160;        {</div>
<div class="line"><a name="l00245"></a><span class="lineno">  245</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">new</span> FieldFacts(<span class="keyword">this</span>, field);</div>
<div class="line"><a name="l00246"></a><span class="lineno">  246</span>&#160;        }</div>
<div class="line"><a name="l00247"></a><span class="lineno">  247</span>&#160;</div>
<div class="line"><a name="l00248"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_analysis_1_1_fact_universe.html#af92d0c533eda403bc186a4ee63b48c48">  248</a></span>&#160;        <span class="keyword">public</span> <a class="code" href="class_system_sharp_1_1_analysis_1_1_fact_universe.html#af92d0c533eda403bc186a4ee63b48c48">FactUniverse</a>()</div>
<div class="line"><a name="l00249"></a><span class="lineno">  249</span>&#160;        {</div>
<div class="line"><a name="l00250"></a><span class="lineno">  250</span>&#160;            _knownTypes = <span class="keyword">new</span> ObservableCache&lt;Type, TypeFacts&gt;(</div>
<div class="line"><a name="l00251"></a><span class="lineno">  251</span>&#160;                ReflectionHelper.TypeEqualityComparer, CreateTypeFacts);</div>
<div class="line"><a name="l00252"></a><span class="lineno">  252</span>&#160;            _knownMethods = <span class="keyword">new</span> ObservableCache&lt;MethodBase, MethodFacts&gt;(</div>
<div class="line"><a name="l00253"></a><span class="lineno">  253</span>&#160;                ReflectionHelper.MethodEqualityComparer, CreateMethodFacts);</div>
<div class="line"><a name="l00254"></a><span class="lineno">  254</span>&#160;            _knownFields = <span class="keyword">new</span> ObservableCache&lt;FieldInfo, FieldFacts&gt;(</div>
<div class="line"><a name="l00255"></a><span class="lineno">  255</span>&#160;                ReflectionHelper.FieldEqualityComparer, CreateFieldFacts);</div>
<div class="line"><a name="l00256"></a><span class="lineno">  256</span>&#160;</div>
<div class="line"><a name="l00257"></a><span class="lineno">  257</span>&#160;            KnownTypes = _knownTypes;</div>
<div class="line"><a name="l00258"></a><span class="lineno">  258</span>&#160;            KnownMethodBases = _knownMethods;</div>
<div class="line"><a name="l00259"></a><span class="lineno">  259</span>&#160;</div>
<div class="line"><a name="l00260"></a><span class="lineno">  260</span>&#160;            _knownTypes.AutoDo(OnNewType);</div>
<div class="line"><a name="l00261"></a><span class="lineno">  261</span>&#160;            KnownInterfaces = KnownTypes</div>
<div class="line"><a name="l00262"></a><span class="lineno">  262</span>&#160;                .Where(type =&gt; type.TheType.IsInterface);</div>
<div class="line"><a name="l00263"></a><span class="lineno">  263</span>&#160;</div>
<div class="line"><a name="l00264"></a><span class="lineno">  264</span>&#160;            KnownAbstractClasses = KnownTypes</div>
<div class="line"><a name="l00265"></a><span class="lineno">  265</span>&#160;                .Where(type =&gt; type.TheType.IsAbstract);</div>
<div class="line"><a name="l00266"></a><span class="lineno">  266</span>&#160;</div>
<div class="line"><a name="l00267"></a><span class="lineno">  267</span>&#160;            KnownValueTypes = KnownTypes</div>
<div class="line"><a name="l00268"></a><span class="lineno">  268</span>&#160;                .Where(type =&gt; type.TheType.IsValueType);</div>
<div class="line"><a name="l00269"></a><span class="lineno">  269</span>&#160;</div>
<div class="line"><a name="l00270"></a><span class="lineno">  270</span>&#160;            KnownInstantiables = KnownTypes</div>
<div class="line"><a name="l00271"></a><span class="lineno">  271</span>&#160;                .Where(type =&gt; !type.TheType.IsInterface &amp;&amp; !type.TheType.IsAbstract &amp;&amp; !type.TheType.IsGenericParameter);</div>
<div class="line"><a name="l00272"></a><span class="lineno">  272</span>&#160;</div>
<div class="line"><a name="l00273"></a><span class="lineno">  273</span>&#160;            KnownMethods = KnownMethodBases</div>
<div class="line"><a name="l00274"></a><span class="lineno">  274</span>&#160;                .Where(method =&gt; method.Method is MethodInfo);</div>
<div class="line"><a name="l00275"></a><span class="lineno">  275</span>&#160;            KnownConstructors = KnownMethodBases</div>
<div class="line"><a name="l00276"></a><span class="lineno">  276</span>&#160;                .Where(method =&gt; method.Method is ConstructorInfo);</div>
<div class="line"><a name="l00277"></a><span class="lineno">  277</span>&#160;</div>
<div class="line"><a name="l00278"></a><span class="lineno">  278</span>&#160;            KnownMethodBases.ObserveOn(Scheduler.CurrentThread).AutoDo(OnNewMethod);</div>
<div class="line"><a name="l00279"></a><span class="lineno">  279</span>&#160;</div>
<div class="line"><a name="l00280"></a><span class="lineno">  280</span>&#160;            KnownAllocationSites = _allocSites.AsObservable();</div>
<div class="line"><a name="l00281"></a><span class="lineno">  281</span>&#160;        }</div>
<div class="line"><a name="l00282"></a><span class="lineno">  282</span>&#160;</div>
<div class="line"><a name="l00287"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_analysis_1_1_fact_universe.html#a3364f2d65738e5379e5b97dc21fcc4d7">  287</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_analysis_1_1_fact_universe.html#a3364f2d65738e5379e5b97dc21fcc4d7">AddType</a>(Type type)</div>
<div class="line"><a name="l00288"></a><span class="lineno">  288</span>&#160;        {</div>
<div class="line"><a name="l00289"></a><span class="lineno">  289</span>&#160;            Contract.Requires&lt;ArgumentNullException&gt;(type != null);</div>
<div class="line"><a name="l00290"></a><span class="lineno">  290</span>&#160;            Contract.Requires&lt;InvalidOperationException&gt;(!IsCompleted, UniverseCompletedErrorMsg);</div>
<div class="line"><a name="l00291"></a><span class="lineno">  291</span>&#160;            <span class="keywordflow">if</span> (type.IsGenericType &amp;&amp; !type.IsGenericTypeDefinition)</div>
<div class="line"><a name="l00292"></a><span class="lineno">  292</span>&#160;            {</div>
<div class="line"><a name="l00293"></a><span class="lineno">  293</span>&#160;                <span class="keywordflow">foreach</span> (Type atype <span class="keywordflow">in</span> type.GetGenericArguments())</div>
<div class="line"><a name="l00294"></a><span class="lineno">  294</span>&#160;                    AddType(atype);</div>
<div class="line"><a name="l00295"></a><span class="lineno">  295</span>&#160;                type = type.GetGenericTypeDefinition();</div>
<div class="line"><a name="l00296"></a><span class="lineno">  296</span>&#160;            }</div>
<div class="line"><a name="l00297"></a><span class="lineno">  297</span>&#160;            <span class="keywordflow">if</span> (type.IsArray || type.IsPointer || type.IsByRef)</div>
<div class="line"><a name="l00298"></a><span class="lineno">  298</span>&#160;                type = type.GetElementType();</div>
<div class="line"><a name="l00299"></a><span class="lineno">  299</span>&#160;            _knownTypes.Cache(type);</div>
<div class="line"><a name="l00300"></a><span class="lineno">  300</span>&#160;        }</div>
<div class="line"><a name="l00301"></a><span class="lineno">  301</span>&#160;</div>
<div class="line"><a name="l00306"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_analysis_1_1_fact_universe.html#aa1f1cc441f04741977a2e4e7331976fe">  306</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_analysis_1_1_fact_universe.html#aa1f1cc441f04741977a2e4e7331976fe">AddMethod</a>(MethodBase method)</div>
<div class="line"><a name="l00307"></a><span class="lineno">  307</span>&#160;        {</div>
<div class="line"><a name="l00308"></a><span class="lineno">  308</span>&#160;            Contract.Requires&lt;ArgumentNullException&gt;(method != null);</div>
<div class="line"><a name="l00309"></a><span class="lineno">  309</span>&#160;            Contract.Requires&lt;InvalidOperationException&gt;(!IsCompleted, UniverseCompletedErrorMsg);</div>
<div class="line"><a name="l00310"></a><span class="lineno">  310</span>&#160;            var entryPoint = method.UnwrapEntryPoint();</div>
<div class="line"><a name="l00311"></a><span class="lineno">  311</span>&#160;            _knownMethods.Cache(entryPoint);</div>
<div class="line"><a name="l00312"></a><span class="lineno">  312</span>&#160;        }</div>
<div class="line"><a name="l00313"></a><span class="lineno">  313</span>&#160;</div>
<div class="line"><a name="l00318"></a><span class="lineno">  318</span>&#160;        <span class="keyword">private</span> <span class="keywordtype">void</span> AddMethod(<a class="code" href="class_system_sharp_1_1_analysis_1_1_msil_1_1_call_site.html">CallSite</a> callSite)</div>
<div class="line"><a name="l00319"></a><span class="lineno">  319</span>&#160;        {</div>
<div class="line"><a name="l00320"></a><span class="lineno">  320</span>&#160;            Contract.Requires&lt;ArgumentNullException&gt;(callSite != null);</div>
<div class="line"><a name="l00321"></a><span class="lineno">  321</span>&#160;</div>
<div class="line"><a name="l00322"></a><span class="lineno">  322</span>&#160;            var attrs = callSite.Callee.GetCustomAndInjectedAttributes&lt;<a class="code" href="interface_system_sharp_1_1_analysis_1_1_i_on_method_call.html">IOnMethodCall</a>&gt;();</div>
<div class="line"><a name="l00323"></a><span class="lineno">  323</span>&#160;            <span class="keywordflow">if</span> (attrs.Length &gt; 0)</div>
<div class="line"><a name="l00324"></a><span class="lineno">  324</span>&#160;            {</div>
<div class="line"><a name="l00325"></a><span class="lineno">  325</span>&#160;                <a class="code" href="class_system_sharp_1_1_analysis_1_1_method_facts.html">MethodFacts</a> callerFacts = GetFacts(callSite.<a class="code" href="class_system_sharp_1_1_analysis_1_1_msil_1_1_call_site.html#a69038cf2c07925b879cb6b6ddbe2acf9">Caller</a>);</div>
<div class="line"><a name="l00326"></a><span class="lineno">  326</span>&#160;                <span class="keywordflow">foreach</span> (var attr <span class="keywordflow">in</span> attrs)</div>
<div class="line"><a name="l00327"></a><span class="lineno">  327</span>&#160;                {</div>
<div class="line"><a name="l00328"></a><span class="lineno">  328</span>&#160;                    attr.OnMethodCall(callerFacts, callSite.Callee, callSite.ILIndex);</div>
<div class="line"><a name="l00329"></a><span class="lineno">  329</span>&#160;                }</div>
<div class="line"><a name="l00330"></a><span class="lineno">  330</span>&#160;            }</div>
<div class="line"><a name="l00331"></a><span class="lineno">  331</span>&#160;            AddMethod(callSite.<a class="code" href="class_system_sharp_1_1_analysis_1_1_msil_1_1_call_site.html#af446e1cbe84621d81844c3a64063a387">Callee</a>);</div>
<div class="line"><a name="l00332"></a><span class="lineno">  332</span>&#160;        }</div>
<div class="line"><a name="l00333"></a><span class="lineno">  333</span>&#160;</div>
<div class="line"><a name="l00338"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_analysis_1_1_fact_universe.html#a576a72c1f440692781d1504e84015240">  338</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_analysis_1_1_fact_universe.html#a576a72c1f440692781d1504e84015240">AddConstructor</a>(ConstructorInfo ctor)</div>
<div class="line"><a name="l00339"></a><span class="lineno">  339</span>&#160;        {</div>
<div class="line"><a name="l00340"></a><span class="lineno">  340</span>&#160;            Contract.Requires&lt;InvalidOperationException&gt;(!IsCompleted, UniverseCompletedErrorMsg);</div>
<div class="line"><a name="l00341"></a><span class="lineno">  341</span>&#160;            _knownMethods.Cache(ctor);</div>
<div class="line"><a name="l00342"></a><span class="lineno">  342</span>&#160;        }</div>
<div class="line"><a name="l00343"></a><span class="lineno">  343</span>&#160;</div>
<div class="line"><a name="l00349"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_analysis_1_1_fact_universe.html#a32156668326303f20c83b5b60600be15">  349</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">bool</span> <a class="code" href="class_system_sharp_1_1_analysis_1_1_fact_universe.html#a32156668326303f20c83b5b60600be15">HaveFacts</a>(MethodBase method)</div>
<div class="line"><a name="l00350"></a><span class="lineno">  350</span>&#160;        {</div>
<div class="line"><a name="l00351"></a><span class="lineno">  351</span>&#160;            var entryPoint = method.UnwrapEntryPoint(); </div>
<div class="line"><a name="l00352"></a><span class="lineno">  352</span>&#160;            <span class="keywordflow">return</span> _knownMethods.IsCached(entryPoint);</div>
<div class="line"><a name="l00353"></a><span class="lineno">  353</span>&#160;        }</div>
<div class="line"><a name="l00354"></a><span class="lineno">  354</span>&#160;</div>
<div class="line"><a name="l00358"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_analysis_1_1_fact_universe.html#a924ec93bed20ae5eebe69193a981ee13">  358</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_analysis_1_1_fact_universe.html#a924ec93bed20ae5eebe69193a981ee13">Complete</a>()</div>
<div class="line"><a name="l00359"></a><span class="lineno">  359</span>&#160;        {</div>
<div class="line"><a name="l00360"></a><span class="lineno">  360</span>&#160;            Contract.Requires&lt;InvalidOperationException&gt;(!IsCompleted, UniverseCompletedErrorMsg);</div>
<div class="line"><a name="l00361"></a><span class="lineno">  361</span>&#160;</div>
<div class="line"><a name="l00362"></a><span class="lineno">  362</span>&#160;            _knownTypes.Complete();</div>
<div class="line"><a name="l00363"></a><span class="lineno">  363</span>&#160;            _knownMethods.Complete();</div>
<div class="line"><a name="l00364"></a><span class="lineno">  364</span>&#160;            _allocSites.Complete();</div>
<div class="line"><a name="l00365"></a><span class="lineno">  365</span>&#160;            Debug.Assert(_knownMethods.Values.All(mf =&gt; !mf.IsDecompilable || mf.INVA.AnalysisDone));</div>
<div class="line"><a name="l00366"></a><span class="lineno">  366</span>&#160;            IsCompleted = <span class="keyword">true</span>;</div>
<div class="line"><a name="l00367"></a><span class="lineno">  367</span>&#160;            PostProcess();</div>
<div class="line"><a name="l00368"></a><span class="lineno">  368</span>&#160;        }</div>
<div class="line"><a name="l00369"></a><span class="lineno">  369</span>&#160;</div>
<div class="line"><a name="l00370"></a><span class="lineno">  370</span>&#160;        <span class="keyword">private</span> <span class="keywordtype">void</span> OnNewType(<a class="code" href="class_system_sharp_1_1_analysis_1_1_type_facts.html">TypeFacts</a> typeFacts)</div>
<div class="line"><a name="l00371"></a><span class="lineno">  371</span>&#160;        {</div>
<div class="line"><a name="l00372"></a><span class="lineno">  372</span>&#160;            Type type = typeFacts.TheType;</div>
<div class="line"><a name="l00373"></a><span class="lineno">  373</span>&#160;</div>
<div class="line"><a name="l00374"></a><span class="lineno">  374</span>&#160;            MethodInfo[] methods = type.GetMethods(</div>
<div class="line"><a name="l00375"></a><span class="lineno">  375</span>&#160;                BindingFlags.Static | BindingFlags.Instance |</div>
<div class="line"><a name="l00376"></a><span class="lineno">  376</span>&#160;                BindingFlags.Public | BindingFlags.NonPublic);</div>
<div class="line"><a name="l00377"></a><span class="lineno">  377</span>&#160;            <span class="keywordflow">foreach</span> (MethodInfo method <span class="keywordflow">in</span> methods)</div>
<div class="line"><a name="l00378"></a><span class="lineno">  378</span>&#160;            {</div>
<div class="line"><a name="l00379"></a><span class="lineno">  379</span>&#160;                <span class="keywordflow">if</span> (method.GetCustomOrInjectedAttribute(typeof(<a class="code" href="interface_system_sharp_1_1_analysis_1_1_i_assume_called.html">IAssumeCalled</a>)) != null ||</div>
<div class="line"><a name="l00380"></a><span class="lineno">  380</span>&#160;                    method.Name.Contains(<span class="charliteral">&#39;&lt;&#39;</span>)) <span class="comment">// Anonymous methods don&#39;t give a chance to attach an attribute.</span></div>
<div class="line"><a name="l00381"></a><span class="lineno">  381</span>&#160;                {</div>
<div class="line"><a name="l00382"></a><span class="lineno">  382</span>&#160;                    AddMethod(method);</div>
<div class="line"><a name="l00383"></a><span class="lineno">  383</span>&#160;                }</div>
<div class="line"><a name="l00384"></a><span class="lineno">  384</span>&#160;            }</div>
<div class="line"><a name="l00385"></a><span class="lineno">  385</span>&#160;            <span class="keywordflow">foreach</span> (Type itype <span class="keywordflow">in</span> type.GetInterfaces())</div>
<div class="line"><a name="l00386"></a><span class="lineno">  386</span>&#160;                AddType(itype);</div>
<div class="line"><a name="l00387"></a><span class="lineno">  387</span>&#160;            Type btype = type.BaseType;</div>
<div class="line"><a name="l00388"></a><span class="lineno">  388</span>&#160;            <span class="keywordflow">while</span> (btype != null &amp;&amp; !btype.Equals(type))</div>
<div class="line"><a name="l00389"></a><span class="lineno">  389</span>&#160;            {</div>
<div class="line"><a name="l00390"></a><span class="lineno">  390</span>&#160;                AddType(btype);</div>
<div class="line"><a name="l00391"></a><span class="lineno">  391</span>&#160;                type = btype;</div>
<div class="line"><a name="l00392"></a><span class="lineno">  392</span>&#160;                btype = type.BaseType;</div>
<div class="line"><a name="l00393"></a><span class="lineno">  393</span>&#160;            }</div>
<div class="line"><a name="l00394"></a><span class="lineno">  394</span>&#160;        }</div>
<div class="line"><a name="l00395"></a><span class="lineno">  395</span>&#160;</div>
<div class="line"><a name="l00396"></a><span class="lineno">  396</span>&#160;        <span class="keyword">private</span> <span class="keywordtype">void</span> OnFieldSeen(FieldInfo field)</div>
<div class="line"><a name="l00397"></a><span class="lineno">  397</span>&#160;        {</div>
<div class="line"><a name="l00398"></a><span class="lineno">  398</span>&#160;            _knownFields.Cache(field);</div>
<div class="line"><a name="l00399"></a><span class="lineno">  399</span>&#160;        }</div>
<div class="line"><a name="l00400"></a><span class="lineno">  400</span>&#160;</div>
<div class="line"><a name="l00401"></a><span class="lineno">  401</span>&#160;        <span class="keyword">private</span> <span class="keywordtype">void</span> OnNewMethod(MethodFacts mfacts)</div>
<div class="line"><a name="l00402"></a><span class="lineno">  402</span>&#160;        {</div>
<div class="line"><a name="l00403"></a><span class="lineno">  403</span>&#160;            mfacts.OnNewMethodCalled = <span class="keyword">true</span>;</div>
<div class="line"><a name="l00404"></a><span class="lineno">  404</span>&#160;            MethodBase method = mfacts.Method;</div>
<div class="line"><a name="l00405"></a><span class="lineno">  405</span>&#160;            AddType(method.DeclaringType);</div>
<div class="line"><a name="l00406"></a><span class="lineno">  406</span>&#160;            IOnMethodDiscovery disc = (IOnMethodDiscovery)method.GetCustomOrInjectedAttribute(typeof(IOnMethodDiscovery));</div>
<div class="line"><a name="l00407"></a><span class="lineno">  407</span>&#160;            <span class="keywordflow">if</span> (disc != null)</div>
<div class="line"><a name="l00408"></a><span class="lineno">  408</span>&#160;                disc.OnDiscovery(method, EMethodDiscoveryStage.Processing);</div>
<div class="line"><a name="l00409"></a><span class="lineno">  409</span>&#160;            RealizationsOf(method).AutoDo(AddMethod);</div>
<div class="line"><a name="l00410"></a><span class="lineno">  410</span>&#160;            <span class="keywordflow">if</span> (mfacts.IsDecompilable)</div>
<div class="line"><a name="l00411"></a><span class="lineno">  411</span>&#160;            {</div>
<div class="line"><a name="l00412"></a><span class="lineno">  412</span>&#160;                mfacts.INVA.CalledMethods.AutoDo(AddMethod);</div>
<div class="line"><a name="l00413"></a><span class="lineno">  413</span>&#160;                mfacts.INVA.ConstructedObjects.AutoDo(AddConstructor);</div>
<div class="line"><a name="l00414"></a><span class="lineno">  414</span>&#160;                mfacts.INVA.ReferencedTypes.AutoDo(AddType);</div>
<div class="line"><a name="l00415"></a><span class="lineno">  415</span>&#160;                mfacts.INVA.ReadFields.AutoDo(OnFieldSeen);</div>
<div class="line"><a name="l00416"></a><span class="lineno">  416</span>&#160;                mfacts.INVA.WrittenFields.AutoDo(OnFieldSeen);</div>
<div class="line"><a name="l00417"></a><span class="lineno">  417</span>&#160;                mfacts.INVA.ReferencedFields.AutoDo(OnFieldSeen);</div>
<div class="line"><a name="l00418"></a><span class="lineno">  418</span>&#160;                mfacts.INVA.ElementSources</div>
<div class="line"><a name="l00419"></a><span class="lineno">  419</span>&#160;                    .Where(src =&gt; src is AllocationSite)</div>
<div class="line"><a name="l00420"></a><span class="lineno">  420</span>&#160;                    .<a class="code" href="namespace_system_sharp_1_1_interop_1_1_xilinx.html#a88beea9472989da315dda84905614fceae0626222614bdee31951d84c64e5e9ff">Select</a>(src =&gt; (AllocationSite)src)</div>
<div class="line"><a name="l00421"></a><span class="lineno">  421</span>&#160;                    .AutoDo(src =&gt; _allocSites.Add(src));</div>
<div class="line"><a name="l00422"></a><span class="lineno">  422</span>&#160;                mfacts.INVA.Run();</div>
<div class="line"><a name="l00423"></a><span class="lineno">  423</span>&#160;                if (method is MethodInfo)</div>
<div class="line"><a name="l00424"></a><span class="lineno">  424</span>&#160;                    mfacts.Realizations = RealizationsOf((MethodInfo)method).ToBufferedEnumerable();</div>
<div class="line"><a name="l00425"></a><span class="lineno">  425</span>&#160;                else</div>
<div class="line"><a name="l00426"></a><span class="lineno">  426</span>&#160;                    mfacts.Realizations = Enumerable.Repeat(method, 1);</div>
<div class="line"><a name="l00427"></a><span class="lineno">  427</span>&#160;            }</div>
<div class="line"><a name="l00428"></a><span class="lineno">  428</span>&#160;        }</div>
<div class="line"><a name="l00429"></a><span class="lineno">  429</span>&#160;</div>
<div class="line"><a name="l00430"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_analysis_1_1_fact_universe.html#a81087f2d49002e0b0dab2d9ee887d355">  430</a></span>&#160;        public IObservable&lt;Type&gt; RealizationsOf(Type type)</div>
<div class="line"><a name="l00431"></a><span class="lineno">  431</span>&#160;        {</div>
<div class="line"><a name="l00432"></a><span class="lineno">  432</span>&#160;            <span class="keywordflow">return</span> KnownTypes</div>
<div class="line"><a name="l00433"></a><span class="lineno">  433</span>&#160;                .Where(t =&gt; type.IsAssignableFrom(t.TheType))</div>
<div class="line"><a name="l00434"></a><span class="lineno">  434</span>&#160;                .Select(t =&gt; t.TheType);</div>
<div class="line"><a name="l00435"></a><span class="lineno">  435</span>&#160;        }</div>
<div class="line"><a name="l00436"></a><span class="lineno">  436</span>&#160;</div>
<div class="line"><a name="l00437"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_analysis_1_1_fact_universe.html#ac5647a2a91fe6b32e33e5381abb95acf">  437</a></span>&#160;        <span class="keyword">public</span> IObservable&lt;MethodBase&gt; <a class="code" href="class_system_sharp_1_1_analysis_1_1_fact_universe.html#ac5647a2a91fe6b32e33e5381abb95acf">RealizationsOf</a>(MethodInfo method)</div>
<div class="line"><a name="l00438"></a><span class="lineno">  438</span>&#160;        {</div>
<div class="line"><a name="l00439"></a><span class="lineno">  439</span>&#160;            <span class="keywordflow">if</span> (method.DeclaringType.IsInterface)</div>
<div class="line"><a name="l00440"></a><span class="lineno">  440</span>&#160;            {</div>
<div class="line"><a name="l00441"></a><span class="lineno">  441</span>&#160;                <span class="keywordflow">return</span> KnownTypes</div>
<div class="line"><a name="l00442"></a><span class="lineno">  442</span>&#160;                    .Where(t =&gt; !(method.DeclaringType.IsGenericType &amp;&amp; t.TheType.IsArray)</div>
<div class="line"><a name="l00443"></a><span class="lineno">  443</span>&#160;                        &amp;&amp; !t.TheType.IsGenericParameter &amp;&amp; !t.TheType.IsInterface</div>
<div class="line"><a name="l00444"></a><span class="lineno">  444</span>&#160;                        &amp;&amp; method.DeclaringType.IsAssignableFrom(t.TheType))</div>
<div class="line"><a name="l00445"></a><span class="lineno">  445</span>&#160;                    .Select(t =&gt; t.TheType.GetInterfaceMap(method.DeclaringType))</div>
<div class="line"><a name="l00446"></a><span class="lineno">  446</span>&#160;                    .Select(im =&gt; Tuple.Create(im, im.InterfaceMethods.ToList().IndexOf(method)))</div>
<div class="line"><a name="l00447"></a><span class="lineno">  447</span>&#160;                    .Where(tup =&gt; tup.Item2 &gt;= 0)</div>
<div class="line"><a name="l00448"></a><span class="lineno">  448</span>&#160;                    .Select(tup =&gt; tup.Item1.TargetMethods[tup.Item2]);</div>
<div class="line"><a name="l00449"></a><span class="lineno">  449</span>&#160;            }</div>
<div class="line"><a name="l00450"></a><span class="lineno">  450</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (method.IsVirtual)</div>
<div class="line"><a name="l00451"></a><span class="lineno">  451</span>&#160;            {</div>
<div class="line"><a name="l00452"></a><span class="lineno">  452</span>&#160;                <span class="keywordflow">return</span></div>
<div class="line"><a name="l00453"></a><span class="lineno">  453</span>&#160;                    RealizationsOf(method.DeclaringType)</div>
<div class="line"><a name="l00454"></a><span class="lineno">  454</span>&#160;                        .SelectMany(t =&gt; t.GetMethods(</div>
<div class="line"><a name="l00455"></a><span class="lineno">  455</span>&#160;                                BindingFlags.Public | BindingFlags.NonPublic |</div>
<div class="line"><a name="l00456"></a><span class="lineno">  456</span>&#160;                                BindingFlags.Instance | BindingFlags.Static)</div>
<div class="line"><a name="l00457"></a><span class="lineno">  457</span>&#160;                            .Where(m =&gt; m.GetBaseDefinition().MethodHandle == method.MethodHandle));</div>
<div class="line"><a name="l00458"></a><span class="lineno">  458</span>&#160;            }</div>
<div class="line"><a name="l00459"></a><span class="lineno">  459</span>&#160;            <span class="keywordflow">else</span></div>
<div class="line"><a name="l00460"></a><span class="lineno">  460</span>&#160;                <span class="keywordflow">return</span> Observable.Return(method);</div>
<div class="line"><a name="l00461"></a><span class="lineno">  461</span>&#160;        }</div>
<div class="line"><a name="l00462"></a><span class="lineno">  462</span>&#160;</div>
<div class="line"><a name="l00463"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_analysis_1_1_fact_universe.html#a0fcd805b7dcb8e009c66693cfa182662">  463</a></span>&#160;        <span class="keyword">public</span> IObservable&lt;MethodBase&gt; <a class="code" href="class_system_sharp_1_1_analysis_1_1_fact_universe.html#a0fcd805b7dcb8e009c66693cfa182662">RealizationsOf</a>(MethodBase method)</div>
<div class="line"><a name="l00464"></a><span class="lineno">  464</span>&#160;        {</div>
<div class="line"><a name="l00465"></a><span class="lineno">  465</span>&#160;            <span class="keywordflow">if</span> (method is MethodInfo)</div>
<div class="line"><a name="l00466"></a><span class="lineno">  466</span>&#160;            {</div>
<div class="line"><a name="l00467"></a><span class="lineno">  467</span>&#160;                IObservable&lt;MethodBase&gt; result = RealizationsOf((MethodInfo)method);</div>
<div class="line"><a name="l00468"></a><span class="lineno">  468</span>&#160;                <span class="keywordflow">return</span> result;</div>
<div class="line"><a name="l00469"></a><span class="lineno">  469</span>&#160;            }</div>
<div class="line"><a name="l00470"></a><span class="lineno">  470</span>&#160;            <span class="keywordflow">else</span></div>
<div class="line"><a name="l00471"></a><span class="lineno">  471</span>&#160;                <span class="keywordflow">return</span> Observable.Return(method);</div>
<div class="line"><a name="l00472"></a><span class="lineno">  472</span>&#160;        }</div>
<div class="line"><a name="l00473"></a><span class="lineno">  473</span>&#160;</div>
<div class="line"><a name="l00474"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_analysis_1_1_fact_universe.html#a9588e1dff8363a8cdc6963a180f08eb6">  474</a></span>&#160;        <span class="keyword">public</span> <a class="code" href="class_system_sharp_1_1_analysis_1_1_type_facts.html">TypeFacts</a> <a class="code" href="class_system_sharp_1_1_analysis_1_1_fact_universe.html#a9588e1dff8363a8cdc6963a180f08eb6">GetFacts</a>(Type type)</div>
<div class="line"><a name="l00475"></a><span class="lineno">  475</span>&#160;        {</div>
<div class="line"><a name="l00476"></a><span class="lineno">  476</span>&#160;            <span class="keywordflow">if</span> (type.IsGenericType &amp;&amp; !type.IsGenericTypeDefinition)</div>
<div class="line"><a name="l00477"></a><span class="lineno">  477</span>&#160;                type = type.GetGenericTypeDefinition();</div>
<div class="line"><a name="l00478"></a><span class="lineno">  478</span>&#160;            <span class="keywordflow">if</span> (type.IsArray || type.IsPointer || type.IsByRef)</div>
<div class="line"><a name="l00479"></a><span class="lineno">  479</span>&#160;                type = type.GetElementType();</div>
<div class="line"><a name="l00480"></a><span class="lineno">  480</span>&#160;            <span class="keywordflow">return</span> _knownTypes[type];</div>
<div class="line"><a name="l00481"></a><span class="lineno">  481</span>&#160;        }</div>
<div class="line"><a name="l00482"></a><span class="lineno">  482</span>&#160;</div>
<div class="line"><a name="l00483"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_analysis_1_1_fact_universe.html#a2e70ed1ede4fd6b70d0a6b6309bbc3e4">  483</a></span>&#160;        <span class="keyword">public</span> <a class="code" href="class_system_sharp_1_1_analysis_1_1_method_facts.html">MethodFacts</a> <a class="code" href="class_system_sharp_1_1_analysis_1_1_fact_universe.html#a2e70ed1ede4fd6b70d0a6b6309bbc3e4">GetFacts</a>(MethodBase method)</div>
<div class="line"><a name="l00484"></a><span class="lineno">  484</span>&#160;        {</div>
<div class="line"><a name="l00485"></a><span class="lineno">  485</span>&#160;            var entryPoint = method.UnwrapEntryPoint();</div>
<div class="line"><a name="l00486"></a><span class="lineno">  486</span>&#160;            <span class="keywordflow">return</span> _knownMethods[entryPoint];</div>
<div class="line"><a name="l00487"></a><span class="lineno">  487</span>&#160;        }</div>
<div class="line"><a name="l00488"></a><span class="lineno">  488</span>&#160;</div>
<div class="line"><a name="l00489"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_analysis_1_1_fact_universe.html#a8159c258c39b761d0bf73b93370fceb1">  489</a></span>&#160;        <span class="keyword">public</span> <a class="code" href="class_system_sharp_1_1_analysis_1_1_field_facts.html">FieldFacts</a> <a class="code" href="class_system_sharp_1_1_analysis_1_1_fact_universe.html#a8159c258c39b761d0bf73b93370fceb1">GetFacts</a>(FieldInfo field)</div>
<div class="line"><a name="l00490"></a><span class="lineno">  490</span>&#160;        {</div>
<div class="line"><a name="l00491"></a><span class="lineno">  491</span>&#160;            <span class="keywordflow">return</span> _knownFields[field];</div>
<div class="line"><a name="l00492"></a><span class="lineno">  492</span>&#160;        }</div>
<div class="line"><a name="l00493"></a><span class="lineno">  493</span>&#160;</div>
<div class="line"><a name="l00494"></a><span class="lineno">  494</span>&#160;        <span class="keyword">private</span> <span class="keywordtype">void</span> PostProcess()</div>
<div class="line"><a name="l00495"></a><span class="lineno">  495</span>&#160;        {</div>
<div class="line"><a name="l00496"></a><span class="lineno">  496</span>&#160;            Queue&lt;MethodFacts&gt; q = <span class="keyword">new</span> Queue&lt;MethodFacts&gt;();</div>
<div class="line"><a name="l00497"></a><span class="lineno">  497</span>&#160;            <span class="keywordflow">foreach</span> (<a class="code" href="class_system_sharp_1_1_analysis_1_1_method_facts.html">MethodFacts</a> mf <span class="keywordflow">in</span> _knownMethods.Values)</div>
<div class="line"><a name="l00498"></a><span class="lineno">  498</span>&#160;            {</div>
<div class="line"><a name="l00499"></a><span class="lineno">  499</span>&#160;                <span class="keywordflow">foreach</span> (<a class="code" href="class_system_sharp_1_1_analysis_1_1_element_mutation.html">ElementMutation</a> mut <span class="keywordflow">in</span> mf.<a class="code" href="class_system_sharp_1_1_analysis_1_1_method_facts.html#af0d65cf384a81ea094e62d4065934a1f">Mutations</a>)</div>
<div class="line"><a name="l00500"></a><span class="lineno">  500</span>&#160;                {</div>
<div class="line"><a name="l00501"></a><span class="lineno">  501</span>&#160;                    <span class="keywordflow">foreach</span> (<a class="code" href="class_system_sharp_1_1_analysis_1_1_element_source.html">ElementSource</a> term <span class="keywordflow">in</span> mut.<a class="code" href="class_system_sharp_1_1_analysis_1_1_element_mutation.html#a0635ee19d7f82599c821ea26a0cee46d">GetMutatedTerminals</a>())</div>
<div class="line"><a name="l00502"></a><span class="lineno">  502</span>&#160;                    {</div>
<div class="line"><a name="l00503"></a><span class="lineno">  503</span>&#160;                        <span class="keywordflow">if</span> (term is <a class="code" href="interface_system_sharp_1_1_analysis_1_1_i_mutable_source.html">IMutableSource</a>)</div>
<div class="line"><a name="l00504"></a><span class="lineno">  504</span>&#160;                        {</div>
<div class="line"><a name="l00505"></a><span class="lineno">  505</span>&#160;                            ((IMutableSource)term).IndicateMutated();</div>
<div class="line"><a name="l00506"></a><span class="lineno">  506</span>&#160;                        }</div>
<div class="line"><a name="l00507"></a><span class="lineno">  507</span>&#160;                    }</div>
<div class="line"><a name="l00508"></a><span class="lineno">  508</span>&#160;                    <span class="keywordflow">foreach</span> (ElementSource term <span class="keywordflow">in</span> mut.<a class="code" href="class_system_sharp_1_1_analysis_1_1_element_mutation.html#a1ed11fd3dede57eab94a6f7e41889de7">GetSubMutatedTerminals</a>())</div>
<div class="line"><a name="l00509"></a><span class="lineno">  509</span>&#160;                    {</div>
<div class="line"><a name="l00510"></a><span class="lineno">  510</span>&#160;                        <span class="keywordflow">if</span> (term is IMutableSource)</div>
<div class="line"><a name="l00511"></a><span class="lineno">  511</span>&#160;                        {</div>
<div class="line"><a name="l00512"></a><span class="lineno">  512</span>&#160;                            ((IMutableSource)term).IndicateSubMutated();</div>
<div class="line"><a name="l00513"></a><span class="lineno">  513</span>&#160;                        }</div>
<div class="line"><a name="l00514"></a><span class="lineno">  514</span>&#160;                    }</div>
<div class="line"><a name="l00515"></a><span class="lineno">  515</span>&#160;                }</div>
<div class="line"><a name="l00516"></a><span class="lineno">  516</span>&#160;                <span class="keywordflow">if</span> (mf.<a class="code" href="class_system_sharp_1_1_analysis_1_1_method_facts.html#acfc84813b8145eb2e1c3bd3b8cea20e6">IsMutator</a> || mf.<a class="code" href="class_system_sharp_1_1_analysis_1_1_method_facts.html#aac3d1d04d1700fdda8facfe4e829ab59">IsUnsafe</a>)</div>
<div class="line"><a name="l00517"></a><span class="lineno">  517</span>&#160;                    q.Enqueue(mf);</div>
<div class="line"><a name="l00518"></a><span class="lineno">  518</span>&#160;            }</div>
<div class="line"><a name="l00519"></a><span class="lineno">  519</span>&#160;            <span class="keywordflow">while</span> (q.Count &gt; 0)</div>
<div class="line"><a name="l00520"></a><span class="lineno">  520</span>&#160;            {</div>
<div class="line"><a name="l00521"></a><span class="lineno">  521</span>&#160;                MethodFacts mf = q.Dequeue();</div>
<div class="line"><a name="l00522"></a><span class="lineno">  522</span>&#160;                <span class="keywordflow">foreach</span> (MethodBase c <span class="keywordflow">in</span> mf.CallingMethods)</div>
<div class="line"><a name="l00523"></a><span class="lineno">  523</span>&#160;                {</div>
<div class="line"><a name="l00524"></a><span class="lineno">  524</span>&#160;                    MethodFacts mfc = _knownMethods[c];</div>
<div class="line"><a name="l00525"></a><span class="lineno">  525</span>&#160;                    <span class="keywordflow">if</span> (!mfc.IsIndirectMutator)</div>
<div class="line"><a name="l00526"></a><span class="lineno">  526</span>&#160;                    {</div>
<div class="line"><a name="l00527"></a><span class="lineno">  527</span>&#160;                        mfc.IsIndirectMutator = <span class="keyword">true</span>;</div>
<div class="line"><a name="l00528"></a><span class="lineno">  528</span>&#160;                        q.Enqueue(mfc);</div>
<div class="line"><a name="l00529"></a><span class="lineno">  529</span>&#160;                    }</div>
<div class="line"><a name="l00530"></a><span class="lineno">  530</span>&#160;                }</div>
<div class="line"><a name="l00531"></a><span class="lineno">  531</span>&#160;            }</div>
<div class="line"><a name="l00532"></a><span class="lineno">  532</span>&#160;        }</div>
<div class="line"><a name="l00533"></a><span class="lineno">  533</span>&#160;</div>
<div class="line"><a name="l00534"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_analysis_1_1_fact_universe.html#abf8ec28593b037f56eeebc6fcf6006db">  534</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_analysis_1_1_fact_universe.html#abf8ec28593b037f56eeebc6fcf6006db">CreateHTMLReport</a>(<span class="keywordtype">string</span> path)</div>
<div class="line"><a name="l00535"></a><span class="lineno">  535</span>&#160;        {</div>
<div class="line"><a name="l00536"></a><span class="lineno">  536</span>&#160;            <a class="code" href="class_system_sharp_1_1_reporting_1_1_h_t_m_l_report.html">HTMLReport</a> rep = <span class="keyword">new</span> <a class="code" href="class_system_sharp_1_1_reporting_1_1_h_t_m_l_report.html">HTMLReport</a>(path);</div>
<div class="line"><a name="l00537"></a><span class="lineno">  537</span>&#160;            rep.BeginDocument(<span class="stringliteral">&quot;Fact universe&quot;</span>);</div>
<div class="line"><a name="l00538"></a><span class="lineno">  538</span>&#160;</div>
<div class="line"><a name="l00539"></a><span class="lineno">  539</span>&#160;            rep.AddSection(1, <span class="stringliteral">&quot;Types&quot;</span>);            </div>
<div class="line"><a name="l00540"></a><span class="lineno">  540</span>&#160;            rep.BeginTable(1, <span class="stringliteral">&quot;Name&quot;</span>, <span class="stringliteral">&quot;Realizations&quot;</span>, <span class="stringliteral">&quot;Mutable&quot;</span>);</div>
<div class="line"><a name="l00541"></a><span class="lineno">  541</span>&#160;            KnownTypes</div>
<div class="line"><a name="l00542"></a><span class="lineno">  542</span>&#160;                .ToEnumerable()</div>
<div class="line"><a name="l00543"></a><span class="lineno">  543</span>&#160;                .OrderBy(t =&gt; t.TheType.FullName)</div>
<div class="line"><a name="l00544"></a><span class="lineno">  544</span>&#160;                .ToObservable()</div>
<div class="line"><a name="l00545"></a><span class="lineno">  545</span>&#160;                .AutoDo(t =&gt;</div>
<div class="line"><a name="l00546"></a><span class="lineno">  546</span>&#160;                rep.<a class="code" href="class_system_sharp_1_1_reporting_1_1_h_t_m_l_report.html#ac15327ae1da246b97e0225a944736cb0">AddRow</a>(t.TheType.FullName,</div>
<div class="line"><a name="l00547"></a><span class="lineno">  547</span>&#160;                    <span class="keywordtype">string</span>.Join(<span class="stringliteral">&quot;, &quot;</span>, RealizationsOf(t.TheType).ToEnumerable().Select(tr =&gt; tr.FullName)),</div>
<div class="line"><a name="l00548"></a><span class="lineno">  548</span>&#160;                    t.IsMutable ? <span class="stringliteral">&quot;yes&quot;</span> : <span class="stringliteral">&quot;no&quot;</span>));</div>
<div class="line"><a name="l00549"></a><span class="lineno">  549</span>&#160;            rep.EndTable();</div>
<div class="line"><a name="l00550"></a><span class="lineno">  550</span>&#160;</div>
<div class="line"><a name="l00551"></a><span class="lineno">  551</span>&#160;            rep.AddSection(1, <span class="stringliteral">&quot;Methods&quot;</span>);</div>
<div class="line"><a name="l00552"></a><span class="lineno">  552</span>&#160;            KnownMethodBases</div>
<div class="line"><a name="l00553"></a><span class="lineno">  553</span>&#160;                .ToEnumerable()</div>
<div class="line"><a name="l00554"></a><span class="lineno">  554</span>&#160;                .OrderBy(m =&gt; m.Method.Name)</div>
<div class="line"><a name="l00555"></a><span class="lineno">  555</span>&#160;                .ToObservable()</div>
<div class="line"><a name="l00556"></a><span class="lineno">  556</span>&#160;                .AutoDo(mf =&gt;</div>
<div class="line"><a name="l00557"></a><span class="lineno">  557</span>&#160;                    {</div>
<div class="line"><a name="l00558"></a><span class="lineno">  558</span>&#160;                        rep.AddSection(2, mf.Method.ToString());</div>
<div class="line"><a name="l00559"></a><span class="lineno">  559</span>&#160;                        rep.AddText(<span class="stringliteral">&quot;Declaring type: &quot;</span> + mf.Method.DeclaringType.FullName);</div>
<div class="line"><a name="l00560"></a><span class="lineno">  560</span>&#160;                        rep.AddSection(3, <span class="stringliteral">&quot;Callees:&quot;</span>);</div>
<div class="line"><a name="l00561"></a><span class="lineno">  561</span>&#160;                        rep.AddText(string.Join(<span class="stringliteral">&quot;, &quot;</span>, mf.CalledMethods.Select(cm =&gt; cm.ToString())));</div>
<div class="line"><a name="l00562"></a><span class="lineno">  562</span>&#160;                        rep.AddSection(3, <span class="stringliteral">&quot;Callers:&quot;</span>);</div>
<div class="line"><a name="l00563"></a><span class="lineno">  563</span>&#160;                        rep.AddText(string.Join(<span class="stringliteral">&quot;, &quot;</span>, mf.CallingMethods.Select(cm =&gt; cm.ToString())));</div>
<div class="line"><a name="l00564"></a><span class="lineno">  564</span>&#160;                        <span class="keywordflow">if</span> (mf.Method.GetParameters().Length &gt; 0)</div>
<div class="line"><a name="l00565"></a><span class="lineno">  565</span>&#160;                        {</div>
<div class="line"><a name="l00566"></a><span class="lineno">  566</span>&#160;                            rep.AddSection(3, <span class="stringliteral">&quot;Argument candidates:&quot;</span>);</div>
<div class="line"><a name="l00567"></a><span class="lineno">  567</span>&#160;                            rep.BeginBulletList();</div>
<div class="line"><a name="l00568"></a><span class="lineno">  568</span>&#160;                            <span class="keywordflow">foreach</span> (ParameterInfo pi <span class="keywordflow">in</span> mf.Method.GetParameters())</div>
<div class="line"><a name="l00569"></a><span class="lineno">  569</span>&#160;                            {</div>
<div class="line"><a name="l00570"></a><span class="lineno">  570</span>&#160;                                rep.BeginListItem();</div>
<div class="line"><a name="l00571"></a><span class="lineno">  571</span>&#160;                                rep.AddText(pi.Name + <span class="stringliteral">&quot;: &quot;</span>);</div>
<div class="line"><a name="l00572"></a><span class="lineno">  572</span>&#160;                                var acs = mf.GetArgumentCandidates(pi);</div>
<div class="line"><a name="l00573"></a><span class="lineno">  573</span>&#160;                                <span class="keywordflow">if</span> (acs.Any())</div>
<div class="line"><a name="l00574"></a><span class="lineno">  574</span>&#160;                                {</div>
<div class="line"><a name="l00575"></a><span class="lineno">  575</span>&#160;                                    rep.BeginBulletList();</div>
<div class="line"><a name="l00576"></a><span class="lineno">  576</span>&#160;                                    <span class="keywordflow">foreach</span> (<a class="code" href="class_system_sharp_1_1_analysis_1_1_element_source.html">ElementSource</a> src <span class="keywordflow">in</span> acs)</div>
<div class="line"><a name="l00577"></a><span class="lineno">  577</span>&#160;                                    {</div>
<div class="line"><a name="l00578"></a><span class="lineno">  578</span>&#160;                                        rep.AddListItem(src.ToString());</div>
<div class="line"><a name="l00579"></a><span class="lineno">  579</span>&#160;                                    }</div>
<div class="line"><a name="l00580"></a><span class="lineno">  580</span>&#160;                                    rep.EndBulletList();</div>
<div class="line"><a name="l00581"></a><span class="lineno">  581</span>&#160;                                }</div>
<div class="line"><a name="l00582"></a><span class="lineno">  582</span>&#160;                                rep.EndListItem();</div>
<div class="line"><a name="l00583"></a><span class="lineno">  583</span>&#160;                            }</div>
<div class="line"><a name="l00584"></a><span class="lineno">  584</span>&#160;                            rep.EndBulletList();</div>
<div class="line"><a name="l00585"></a><span class="lineno">  585</span>&#160;                        }</div>
<div class="line"><a name="l00586"></a><span class="lineno">  586</span>&#160;                        <span class="keywordflow">if</span> (mf.Mutations.Any())</div>
<div class="line"><a name="l00587"></a><span class="lineno">  587</span>&#160;                        {</div>
<div class="line"><a name="l00588"></a><span class="lineno">  588</span>&#160;                            rep.AddSection(3, <span class="stringliteral">&quot;Mutations:&quot;</span>);</div>
<div class="line"><a name="l00589"></a><span class="lineno">  589</span>&#160;                            rep.BeginBulletList();</div>
<div class="line"><a name="l00590"></a><span class="lineno">  590</span>&#160;                            <span class="keywordflow">foreach</span> (<a class="code" href="class_system_sharp_1_1_analysis_1_1_element_mutation.html">ElementMutation</a> mut <span class="keywordflow">in</span> mf.Mutations)</div>
<div class="line"><a name="l00591"></a><span class="lineno">  591</span>&#160;                            {</div>
<div class="line"><a name="l00592"></a><span class="lineno">  592</span>&#160;                                rep.BeginListItem();</div>
<div class="line"><a name="l00593"></a><span class="lineno">  593</span>&#160;                                <span class="keywordflow">if</span> (mut is <a class="code" href="class_system_sharp_1_1_analysis_1_1_store_field_mutation.html">StoreFieldMutation</a>)</div>
<div class="line"><a name="l00594"></a><span class="lineno">  594</span>&#160;                                    rep.AddText(<span class="stringliteral">&quot;store field&quot;</span>);</div>
<div class="line"><a name="l00595"></a><span class="lineno">  595</span>&#160;                                <span class="keywordflow">else</span> <span class="keywordflow">if</span> (mut is <a class="code" href="class_system_sharp_1_1_analysis_1_1_write_array_mutation.html">WriteArrayMutation</a>)</div>
<div class="line"><a name="l00596"></a><span class="lineno">  596</span>&#160;                                    rep.AddText(<span class="stringliteral">&quot;write array&quot;</span>);</div>
<div class="line"><a name="l00597"></a><span class="lineno">  597</span>&#160;                                <span class="keywordflow">else</span> <span class="keywordflow">if</span> (mut is <a class="code" href="class_system_sharp_1_1_analysis_1_1_indirect_mutation.html">IndirectMutation</a>)</div>
<div class="line"><a name="l00598"></a><span class="lineno">  598</span>&#160;                                    rep.AddText(<span class="stringliteral">&quot;indirect store&quot;</span>);</div>
<div class="line"><a name="l00599"></a><span class="lineno">  599</span>&#160;                                <span class="keywordflow">else</span></div>
<div class="line"><a name="l00600"></a><span class="lineno">  600</span>&#160;                                    rep.AddText(<span class="stringliteral">&quot;???&quot;</span>);</div>
<div class="line"><a name="l00601"></a><span class="lineno">  601</span>&#160;</div>
<div class="line"><a name="l00602"></a><span class="lineno">  602</span>&#160;                                rep.BeginBulletList();</div>
<div class="line"><a name="l00603"></a><span class="lineno">  603</span>&#160;                                rep.AddListItem(<span class="stringliteral">&quot;Mutatee: &quot;</span> + mut.Mutatee);</div>
<div class="line"><a name="l00604"></a><span class="lineno">  604</span>&#160;</div>
<div class="line"><a name="l00605"></a><span class="lineno">  605</span>&#160;                                var mt = mut.GetMutatedTerminals();</div>
<div class="line"><a name="l00606"></a><span class="lineno">  606</span>&#160;                                <span class="keywordflow">if</span> (mt.Any())</div>
<div class="line"><a name="l00607"></a><span class="lineno">  607</span>&#160;                                {</div>
<div class="line"><a name="l00608"></a><span class="lineno">  608</span>&#160;                                    rep.AddListItem(<span class="stringliteral">&quot;Mutated terminals:&quot;</span>);</div>
<div class="line"><a name="l00609"></a><span class="lineno">  609</span>&#160;                                    rep.BeginBulletList();</div>
<div class="line"><a name="l00610"></a><span class="lineno">  610</span>&#160;                                    <span class="keywordflow">foreach</span> (<a class="code" href="class_system_sharp_1_1_analysis_1_1_element_source.html">ElementSource</a> src <span class="keywordflow">in</span> mt)</div>
<div class="line"><a name="l00611"></a><span class="lineno">  611</span>&#160;                                        rep.AddListItem(src.ToString());</div>
<div class="line"><a name="l00612"></a><span class="lineno">  612</span>&#160;                                    rep.EndBulletList();</div>
<div class="line"><a name="l00613"></a><span class="lineno">  613</span>&#160;                                }</div>
<div class="line"><a name="l00614"></a><span class="lineno">  614</span>&#160;</div>
<div class="line"><a name="l00615"></a><span class="lineno">  615</span>&#160;                                var st = mut.GetSubMutatedTerminals();</div>
<div class="line"><a name="l00616"></a><span class="lineno">  616</span>&#160;                                <span class="keywordflow">if</span> (st.Any())</div>
<div class="line"><a name="l00617"></a><span class="lineno">  617</span>&#160;                                {</div>
<div class="line"><a name="l00618"></a><span class="lineno">  618</span>&#160;                                    rep.AddListItem(<span class="stringliteral">&quot;Sub-mutated terminals:&quot;</span>);</div>
<div class="line"><a name="l00619"></a><span class="lineno">  619</span>&#160;                                    rep.BeginBulletList();</div>
<div class="line"><a name="l00620"></a><span class="lineno">  620</span>&#160;                                    <span class="keywordflow">foreach</span> (<a class="code" href="class_system_sharp_1_1_analysis_1_1_element_source.html">ElementSource</a> src <span class="keywordflow">in</span> st)</div>
<div class="line"><a name="l00621"></a><span class="lineno">  621</span>&#160;                                        rep.AddListItem(src.ToString());</div>
<div class="line"><a name="l00622"></a><span class="lineno">  622</span>&#160;                                    rep.EndBulletList();</div>
<div class="line"><a name="l00623"></a><span class="lineno">  623</span>&#160;                                }</div>
<div class="line"><a name="l00624"></a><span class="lineno">  624</span>&#160;</div>
<div class="line"><a name="l00625"></a><span class="lineno">  625</span>&#160;                                rep.EndBulletList();</div>
<div class="line"><a name="l00626"></a><span class="lineno">  626</span>&#160;                                rep.EndListItem();</div>
<div class="line"><a name="l00627"></a><span class="lineno">  627</span>&#160;                            }</div>
<div class="line"><a name="l00628"></a><span class="lineno">  628</span>&#160;                            rep.EndBulletList();</div>
<div class="line"><a name="l00629"></a><span class="lineno">  629</span>&#160;                        }</div>
<div class="line"><a name="l00630"></a><span class="lineno">  630</span>&#160;                    });</div>
<div class="line"><a name="l00631"></a><span class="lineno">  631</span>&#160;</div>
<div class="line"><a name="l00632"></a><span class="lineno">  632</span>&#160;            rep.EndDocument();</div>
<div class="line"><a name="l00633"></a><span class="lineno">  633</span>&#160;            rep.Close();</div>
<div class="line"><a name="l00634"></a><span class="lineno">  634</span>&#160;        }</div>
<div class="line"><a name="l00635"></a><span class="lineno">  635</span>&#160;    }</div>
<div class="line"><a name="l00636"></a><span class="lineno">  636</span>&#160;}</div>
<div class="ttc" id="class_system_sharp_1_1_analysis_1_1_fact_universe_html_a8159c258c39b761d0bf73b93370fceb1"><div class="ttname"><a href="class_system_sharp_1_1_analysis_1_1_fact_universe.html#a8159c258c39b761d0bf73b93370fceb1">SystemSharp.Analysis.FactUniverse.GetFacts</a></div><div class="ttdeci">FieldFacts GetFacts(FieldInfo field)</div><div class="ttdef"><b>Definition:</b> <a href="_fact_universe_8cs_source.html#l00489">FactUniverse.cs:489</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_analysis_1_1_element_mutation_html_a1ed11fd3dede57eab94a6f7e41889de7"><div class="ttname"><a href="class_system_sharp_1_1_analysis_1_1_element_mutation.html#a1ed11fd3dede57eab94a6f7e41889de7">SystemSharp.Analysis.ElementMutation.GetSubMutatedTerminals</a></div><div class="ttdeci">IEnumerable&lt; ElementSource &gt; GetSubMutatedTerminals()</div><div class="ttdoc">Returns all terminal data items which might be indirectly affected by the modification ...</div><div class="ttdef"><b>Definition:</b> <a href="_sources_and_mutations_8cs_source.html#l01568">SourcesAndMutations.cs:1568</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_analysis_1_1_assume_called_html"><div class="ttname"><a href="class_system_sharp_1_1_analysis_1_1_assume_called.html">SystemSharp.Analysis.AssumeCalled</a></div><div class="ttdoc">Any method marked with this attribute is assumed to be called during design runtime, taking all side effects into account which could arise from calling that method. </div><div class="ttdef"><b>Definition:</b> <a href="_fact_universe_8cs_source.html#l00054">FactUniverse.cs:54</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_analysis_1_1_type_facts_html"><div class="ttname"><a href="class_system_sharp_1_1_analysis_1_1_type_facts.html">SystemSharp.Analysis.TypeFacts</a></div><div class="ttdoc">Describes context information on types used during runtime </div><div class="ttdef"><b>Definition:</b> <a href="_type_facts_8cs_source.html#l00039">TypeFacts.cs:39</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_analysis_1_1_fact_universe_html_af92d0c533eda403bc186a4ee63b48c48"><div class="ttname"><a href="class_system_sharp_1_1_analysis_1_1_fact_universe.html#af92d0c533eda403bc186a4ee63b48c48">SystemSharp.Analysis.FactUniverse.FactUniverse</a></div><div class="ttdeci">FactUniverse()</div><div class="ttdef"><b>Definition:</b> <a href="_fact_universe_8cs_source.html#l00248">FactUniverse.cs:248</a></div></div>
<div class="ttc" id="namespace_system_sharp_1_1_analysis_html_a5afaccee1c5869e7eccea81e8f5adfa7ac36cc19496625cbf9888299bf4987a4d"><div class="ttname"><a href="namespace_system_sharp_1_1_analysis.html#a5afaccee1c5869e7eccea81e8f5adfa7ac36cc19496625cbf9888299bf4987a4d">SystemSharp.Analysis.FirstDiscovery</a></div><div class="ttdoc">The method is discovered for the first time </div></div>
<div class="ttc" id="class_system_sharp_1_1_analysis_1_1_element_source_html"><div class="ttname"><a href="class_system_sharp_1_1_analysis_1_1_element_source.html">SystemSharp.Analysis.ElementSource</a></div><div class="ttdoc">This base class is intended as a symbolic abstraction of any data item. As opposed to SysDOM expressi...</div><div class="ttdef"><b>Definition:</b> <a href="_sources_and_mutations_8cs_source.html#l00046">SourcesAndMutations.cs:46</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_analysis_1_1_write_array_mutation_html"><div class="ttname"><a href="class_system_sharp_1_1_analysis_1_1_write_array_mutation.html">SystemSharp.Analysis.WriteArrayMutation</a></div><div class="ttdoc">Describes the data modification of replacing an array element </div><div class="ttdef"><b>Definition:</b> <a href="_sources_and_mutations_8cs_source.html#l01649">SourcesAndMutations.cs:1649</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_analysis_1_1_assume_const_html"><div class="ttname"><a href="class_system_sharp_1_1_analysis_1_1_assume_const.html">SystemSharp.Analysis.AssumeConst</a></div><div class="ttdoc">Any field marked with this attribute is assumed to stay constant throughout design runtime ...</div><div class="ttdef"><b>Definition:</b> <a href="_fact_universe_8cs_source.html#l00062">FactUniverse.cs:62</a></div></div>
<div class="ttc" id="interface_system_sharp_1_1_analysis_1_1_i_on_method_discovery_html"><div class="ttname"><a href="interface_system_sharp_1_1_analysis_1_1_i_on_method_discovery.html">SystemSharp.Analysis.IOnMethodDiscovery</a></div><div class="ttdoc">This marker interface instructs design analysis to call OnDiscovery method upon discovery of tagged m...</div><div class="ttdef"><b>Definition:</b> <a href="_fact_universe_8cs_source.html#l00085">FactUniverse.cs:85</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_analysis_1_1_fact_universe_html_a576a72c1f440692781d1504e84015240"><div class="ttname"><a href="class_system_sharp_1_1_analysis_1_1_fact_universe.html#a576a72c1f440692781d1504e84015240">SystemSharp.Analysis.FactUniverse.AddConstructor</a></div><div class="ttdeci">void AddConstructor(ConstructorInfo ctor)</div><div class="ttdoc">Adds a constructor to the universe </div><div class="ttdef"><b>Definition:</b> <a href="_fact_universe_8cs_source.html#l00338">FactUniverse.cs:338</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_analysis_1_1_fact_universe_html_ac5647a2a91fe6b32e33e5381abb95acf"><div class="ttname"><a href="class_system_sharp_1_1_analysis_1_1_fact_universe.html#ac5647a2a91fe6b32e33e5381abb95acf">SystemSharp.Analysis.FactUniverse.RealizationsOf</a></div><div class="ttdeci">IObservable&lt; MethodBase &gt; RealizationsOf(MethodInfo method)</div><div class="ttdef"><b>Definition:</b> <a href="_fact_universe_8cs_source.html#l00437">FactUniverse.cs:437</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_analysis_1_1_break_on_type_discovery_html_a6e53e526cf81e594a5b44f5830b1acdc"><div class="ttname"><a href="class_system_sharp_1_1_analysis_1_1_break_on_type_discovery.html#a6e53e526cf81e594a5b44f5830b1acdc">SystemSharp.Analysis.BreakOnTypeDiscovery.OnDiscovery</a></div><div class="ttdeci">void OnDiscovery(Type type)</div><div class="ttdoc">Will be called for the discovered type </div><div class="ttdef"><b>Definition:</b> <a href="_fact_universe_8cs_source.html#l00145">FactUniverse.cs:145</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_analysis_1_1_fact_universe_html_abf8ec28593b037f56eeebc6fcf6006db"><div class="ttname"><a href="class_system_sharp_1_1_analysis_1_1_fact_universe.html#abf8ec28593b037f56eeebc6fcf6006db">SystemSharp.Analysis.FactUniverse.CreateHTMLReport</a></div><div class="ttdeci">void CreateHTMLReport(string path)</div><div class="ttdef"><b>Definition:</b> <a href="_fact_universe_8cs_source.html#l00534">FactUniverse.cs:534</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_analysis_1_1_store_field_mutation_html"><div class="ttname"><a href="class_system_sharp_1_1_analysis_1_1_store_field_mutation.html">SystemSharp.Analysis.StoreFieldMutation</a></div><div class="ttdoc">Describes the data modification of storing some value to a field </div><div class="ttdef"><b>Definition:</b> <a href="_sources_and_mutations_8cs_source.html#l01594">SourcesAndMutations.cs:1594</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_analysis_1_1_fact_universe_html"><div class="ttname"><a href="class_system_sharp_1_1_analysis_1_1_fact_universe.html">SystemSharp.Analysis.FactUniverse</a></div><div class="ttdoc">This class captures information on all relevant objects discovered during analysis, i.e. types, instantiated classes, called methods, and memory allocations. </div><div class="ttdef"><b>Definition:</b> <a href="_fact_universe_8cs_source.html#l00157">FactUniverse.cs:157</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_analysis_1_1_break_on_type_discovery_html"><div class="ttname"><a href="class_system_sharp_1_1_analysis_1_1_break_on_type_discovery.html">SystemSharp.Analysis.BreakOnTypeDiscovery</a></div><div class="ttdoc">This is a debugging aid: Each type tagged with this attribute causes design analysis to trigger a bre...</div><div class="ttdef"><b>Definition:</b> <a href="_fact_universe_8cs_source.html#l00141">FactUniverse.cs:141</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_analysis_1_1_fact_universe_html_a924ec93bed20ae5eebe69193a981ee13"><div class="ttname"><a href="class_system_sharp_1_1_analysis_1_1_fact_universe.html#a924ec93bed20ae5eebe69193a981ee13">SystemSharp.Analysis.FactUniverse.Complete</a></div><div class="ttdeci">void Complete()</div><div class="ttdoc">Completes the analysis </div><div class="ttdef"><b>Definition:</b> <a href="_fact_universe_8cs_source.html#l00358">FactUniverse.cs:358</a></div></div>
<div class="ttc" id="namespace_system_sharp_1_1_interop_1_1_xilinx_html_a88beea9472989da315dda84905614fceae0626222614bdee31951d84c64e5e9ff"><div class="ttname"><a href="namespace_system_sharp_1_1_interop_1_1_xilinx.html#a88beea9472989da315dda84905614fceae0626222614bdee31951d84c64e5e9ff">SystemSharp.Interop.Xilinx.Select</a></div></div>
<div class="ttc" id="namespace_system_sharp_1_1_analysis_html_a5afaccee1c5869e7eccea81e8f5adfa7a643562a9ae7099c8aabfdc93478db117"><div class="ttname"><a href="namespace_system_sharp_1_1_analysis.html#a5afaccee1c5869e7eccea81e8f5adfa7a643562a9ae7099c8aabfdc93478db117">SystemSharp.Analysis.Processing</a></div><div class="ttdoc">The method is now ready for processing </div></div>
<div class="ttc" id="class_system_sharp_1_1_analysis_1_1_method_facts_html"><div class="ttname"><a href="class_system_sharp_1_1_analysis_1_1_method_facts.html">SystemSharp.Analysis.MethodFacts</a></div><div class="ttdoc">This class provides analysis information on methods and constructors. </div><div class="ttdef"><b>Definition:</b> <a href="_method_facts_8cs_source.html#l00041">MethodFacts.cs:41</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_analysis_1_1_element_mutation_html"><div class="ttname"><a href="class_system_sharp_1_1_analysis_1_1_element_mutation.html">SystemSharp.Analysis.ElementMutation</a></div><div class="ttdoc">Abstract base class for describing data modifications </div><div class="ttdef"><b>Definition:</b> <a href="_sources_and_mutations_8cs_source.html#l01536">SourcesAndMutations.cs:1536</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_analysis_1_1_fact_universe_html_a9588e1dff8363a8cdc6963a180f08eb6"><div class="ttname"><a href="class_system_sharp_1_1_analysis_1_1_fact_universe.html#a9588e1dff8363a8cdc6963a180f08eb6">SystemSharp.Analysis.FactUniverse.GetFacts</a></div><div class="ttdeci">TypeFacts GetFacts(Type type)</div><div class="ttdef"><b>Definition:</b> <a href="_fact_universe_8cs_source.html#l00474">FactUniverse.cs:474</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_analysis_1_1_indirect_mutation_html"><div class="ttname"><a href="class_system_sharp_1_1_analysis_1_1_indirect_mutation.html">SystemSharp.Analysis.IndirectMutation</a></div><div class="ttdoc">Describes the data modification of writing some value to a memory location </div><div class="ttdef"><b>Definition:</b> <a href="_sources_and_mutations_8cs_source.html#l01692">SourcesAndMutations.cs:1692</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_analysis_1_1_fact_universe_html_a2e70ed1ede4fd6b70d0a6b6309bbc3e4"><div class="ttname"><a href="class_system_sharp_1_1_analysis_1_1_fact_universe.html#a2e70ed1ede4fd6b70d0a6b6309bbc3e4">SystemSharp.Analysis.FactUniverse.GetFacts</a></div><div class="ttdeci">MethodFacts GetFacts(MethodBase method)</div><div class="ttdef"><b>Definition:</b> <a href="_fact_universe_8cs_source.html#l00483">FactUniverse.cs:483</a></div></div>
<div class="ttc" id="interface_system_sharp_1_1_analysis_1_1_i_on_type_discovery_html"><div class="ttname"><a href="interface_system_sharp_1_1_analysis_1_1_i_on_type_discovery.html">SystemSharp.Analysis.IOnTypeDiscovery</a></div><div class="ttdoc">This marker interface instructs design analysis to call OnDiscovery whenever a tagged type is discove...</div><div class="ttdef"><b>Definition:</b> <a href="_fact_universe_8cs_source.html#l00128">FactUniverse.cs:128</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_reporting_1_1_h_t_m_l_report_html_ac15327ae1da246b97e0225a944736cb0"><div class="ttname"><a href="class_system_sharp_1_1_reporting_1_1_h_t_m_l_report.html#ac15327ae1da246b97e0225a944736cb0">SystemSharp.Reporting.HTMLReport.AddRow</a></div><div class="ttdeci">void AddRow(params string[] cols)</div><div class="ttdoc">Begins a new row inside current table. </div><div class="ttdef"><b>Definition:</b> <a href="_h_t_m_l_report_8cs_source.html#l00135">HTMLReport.cs:135</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_analysis_1_1_msil_1_1_call_site_html_af446e1cbe84621d81844c3a64063a387"><div class="ttname"><a href="class_system_sharp_1_1_analysis_1_1_msil_1_1_call_site.html#af446e1cbe84621d81844c3a64063a387">SystemSharp.Analysis.Msil.CallSite.Callee</a></div><div class="ttdeci">MethodBase Callee</div><div class="ttdoc">Returns the called method. </div><div class="ttdef"><b>Definition:</b> <a href="_invocation_analysis_8cs_source.html#l00173">InvocationAnalysis.cs:173</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_analysis_1_1_field_facts_html"><div class="ttname"><a href="class_system_sharp_1_1_analysis_1_1_field_facts.html">SystemSharp.Analysis.FieldFacts</a></div><div class="ttdoc">This class captures the information available on a particular field </div><div class="ttdef"><b>Definition:</b> <a href="_field_facts_8cs_source.html#l00033">FieldFacts.cs:33</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_analysis_1_1_fact_universe_html_a32156668326303f20c83b5b60600be15"><div class="ttname"><a href="class_system_sharp_1_1_analysis_1_1_fact_universe.html#a32156668326303f20c83b5b60600be15">SystemSharp.Analysis.FactUniverse.HaveFacts</a></div><div class="ttdeci">bool HaveFacts(MethodBase method)</div><div class="ttdoc">Queries whether the universe contains information on a particular method or constructor ...</div><div class="ttdef"><b>Definition:</b> <a href="_fact_universe_8cs_source.html#l00349">FactUniverse.cs:349</a></div></div>
<div class="ttc" id="interface_system_sharp_1_1_analysis_1_1_i_on_method_call_html"><div class="ttname"><a href="interface_system_sharp_1_1_analysis_1_1_i_on_method_call.html">SystemSharp.Analysis.IOnMethodCall</a></div><div class="ttdoc">This marker interface instructs design analysis to call OnMethodCall upon each occurence of a call to...</div><div class="ttdef"><b>Definition:</b> <a href="_fact_universe_8cs_source.html#l00098">FactUniverse.cs:98</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_analysis_1_1_method_facts_html_acfc84813b8145eb2e1c3bd3b8cea20e6"><div class="ttname"><a href="class_system_sharp_1_1_analysis_1_1_method_facts.html#acfc84813b8145eb2e1c3bd3b8cea20e6">SystemSharp.Analysis.MethodFacts.IsMutator</a></div><div class="ttdeci">bool IsMutator</div><div class="ttdoc">Whether this method performs any mutation </div><div class="ttdef"><b>Definition:</b> <a href="_method_facts_8cs_source.html#l00187">MethodFacts.cs:187</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_analysis_1_1_msil_1_1_call_site_html"><div class="ttname"><a href="class_system_sharp_1_1_analysis_1_1_msil_1_1_call_site.html">SystemSharp.Analysis.Msil.CallSite</a></div><div class="ttdoc">Represents a precise program location where some method is called. </div><div class="ttdef"><b>Definition:</b> <a href="_invocation_analysis_8cs_source.html#l00163">InvocationAnalysis.cs:163</a></div></div>
<div class="ttc" id="namespace_system_sharp_1_1_analysis_html_a5afaccee1c5869e7eccea81e8f5adfa7"><div class="ttname"><a href="namespace_system_sharp_1_1_analysis.html#a5afaccee1c5869e7eccea81e8f5adfa7">SystemSharp.Analysis.EMethodDiscoveryStage</a></div><div class="ttdeci">EMethodDiscoveryStage</div><div class="ttdoc">Processing stage of a method during design analysis </div><div class="ttdef"><b>Definition:</b> <a href="_fact_universe_8cs_source.html#l00069">FactUniverse.cs:69</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_reporting_1_1_h_t_m_l_report_html"><div class="ttname"><a href="class_system_sharp_1_1_reporting_1_1_h_t_m_l_report.html">SystemSharp.Reporting.HTMLReport</a></div><div class="ttdoc">Provides functionality for creating simple HTML documents. </div><div class="ttdef"><b>Definition:</b> <a href="_h_t_m_l_report_8cs_source.html#l00028">HTMLReport.cs:28</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_analysis_1_1_break_on_method_discovery_html_aa54a9204d9c38a0f3426e31ada0676cf"><div class="ttname"><a href="class_system_sharp_1_1_analysis_1_1_break_on_method_discovery.html#aa54a9204d9c38a0f3426e31ada0676cf">SystemSharp.Analysis.BreakOnMethodDiscovery.OnDiscovery</a></div><div class="ttdeci">void OnDiscovery(MethodBase method, EMethodDiscoveryStage stage)</div><div class="ttdoc">Will be called when a tagged method is discovered by design analysis. </div><div class="ttdef"><b>Definition:</b> <a href="_fact_universe_8cs_source.html#l00117">FactUniverse.cs:117</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_analysis_1_1_element_mutation_html_a0635ee19d7f82599c821ea26a0cee46d"><div class="ttname"><a href="class_system_sharp_1_1_analysis_1_1_element_mutation.html#a0635ee19d7f82599c821ea26a0cee46d">SystemSharp.Analysis.ElementMutation.GetMutatedTerminals</a></div><div class="ttdeci">IEnumerable&lt; ElementSource &gt; GetMutatedTerminals()</div><div class="ttdoc">Returns all terminal data items which might be directly affected by the modification ...</div><div class="ttdef"><b>Definition:</b> <a href="_sources_and_mutations_8cs_source.html#l01560">SourcesAndMutations.cs:1560</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_analysis_1_1_fact_universe_html_a3364f2d65738e5379e5b97dc21fcc4d7"><div class="ttname"><a href="class_system_sharp_1_1_analysis_1_1_fact_universe.html#a3364f2d65738e5379e5b97dc21fcc4d7">SystemSharp.Analysis.FactUniverse.AddType</a></div><div class="ttdeci">void AddType(Type type)</div><div class="ttdoc">Adds a new type to the universe </div><div class="ttdef"><b>Definition:</b> <a href="_fact_universe_8cs_source.html#l00287">FactUniverse.cs:287</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_analysis_1_1_fact_universe_html_a0fcd805b7dcb8e009c66693cfa182662"><div class="ttname"><a href="class_system_sharp_1_1_analysis_1_1_fact_universe.html#a0fcd805b7dcb8e009c66693cfa182662">SystemSharp.Analysis.FactUniverse.RealizationsOf</a></div><div class="ttdeci">IObservable&lt; MethodBase &gt; RealizationsOf(MethodBase method)</div><div class="ttdef"><b>Definition:</b> <a href="_fact_universe_8cs_source.html#l00463">FactUniverse.cs:463</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_analysis_1_1_method_facts_html_aac3d1d04d1700fdda8facfe4e829ab59"><div class="ttname"><a href="class_system_sharp_1_1_analysis_1_1_method_facts.html#aac3d1d04d1700fdda8facfe4e829ab59">SystemSharp.Analysis.MethodFacts.IsUnsafe</a></div><div class="ttdeci">bool IsUnsafe</div><div class="ttdoc">Whether the represented method has the UnverifiableCodeAttribute attached </div><div class="ttdef"><b>Definition:</b> <a href="_method_facts_8cs_source.html#l00059">MethodFacts.cs:59</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_analysis_1_1_method_facts_html_af0d65cf384a81ea094e62d4065934a1f"><div class="ttname"><a href="class_system_sharp_1_1_analysis_1_1_method_facts.html#af0d65cf384a81ea094e62d4065934a1f">SystemSharp.Analysis.MethodFacts.Mutations</a></div><div class="ttdeci">IEnumerable&lt; ElementMutation &gt; Mutations</div><div class="ttdoc">Returns all mutations which are possibly performed by this method </div><div class="ttdef"><b>Definition:</b> <a href="_method_facts_8cs_source.html#l00176">MethodFacts.cs:176</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_analysis_1_1_msil_1_1_call_site_html_a69038cf2c07925b879cb6b6ddbe2acf9"><div class="ttname"><a href="class_system_sharp_1_1_analysis_1_1_msil_1_1_call_site.html#a69038cf2c07925b879cb6b6ddbe2acf9">SystemSharp.Analysis.Msil.CallSite.Caller</a></div><div class="ttdeci">MethodBase Caller</div><div class="ttdoc">Returns the calling method. </div><div class="ttdef"><b>Definition:</b> <a href="_invocation_analysis_8cs_source.html#l00168">InvocationAnalysis.cs:168</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_analysis_1_1_fact_universe_html_aa1f1cc441f04741977a2e4e7331976fe"><div class="ttname"><a href="class_system_sharp_1_1_analysis_1_1_fact_universe.html#aa1f1cc441f04741977a2e4e7331976fe">SystemSharp.Analysis.FactUniverse.AddMethod</a></div><div class="ttdeci">void AddMethod(MethodBase method)</div><div class="ttdoc">Adds a new method to the universe </div><div class="ttdef"><b>Definition:</b> <a href="_fact_universe_8cs_source.html#l00306">FactUniverse.cs:306</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_analysis_1_1_break_on_method_discovery_html"><div class="ttname"><a href="class_system_sharp_1_1_analysis_1_1_break_on_method_discovery.html">SystemSharp.Analysis.BreakOnMethodDiscovery</a></div><div class="ttdoc">This is a debugging aid: Each method tagged with this attribute causes design analysis to trigger a b...</div><div class="ttdef"><b>Definition:</b> <a href="_fact_universe_8cs_source.html#l00113">FactUniverse.cs:113</a></div></div>
<div class="ttc" id="interface_system_sharp_1_1_analysis_1_1_i_mutable_source_html"><div class="ttname"><a href="interface_system_sharp_1_1_analysis_1_1_i_mutable_source.html">SystemSharp.Analysis.IMutableSource</a></div><div class="ttdoc">Marks a data item which can be modified during runtime </div><div class="ttdef"><b>Definition:</b> <a href="_sources_and_mutations_8cs_source.html#l00179">SourcesAndMutations.cs:179</a></div></div>
<div class="ttc" id="interface_system_sharp_1_1_analysis_1_1_i_assume_called_html"><div class="ttname"><a href="interface_system_sharp_1_1_analysis_1_1_i_assume_called.html">SystemSharp.Analysis.IAssumeCalled</a></div><div class="ttdoc">Marker interface which instructs design analysis stage to assume that a certain method is called...</div><div class="ttdef"><b>Definition:</b> <a href="_fact_universe_8cs_source.html#l00045">FactUniverse.cs:45</a></div></div>
</div><!-- fragment --></div><!-- contents -->
</div><!-- doc-content -->
<!-- start footer part -->
<div id="nav-path" class="navpath"><!-- id is needed for treeview function! -->
  <ul>
    <li class="navelem"><a class="el" href="dir_bb5e995590685548b7e11478911ee7c3.html">SystemSharp-Google-SVN</a></li><li class="navelem"><a class="el" href="dir_8deefa4467a62b572b52d238d562b104.html">SystemSharp</a></li><li class="navelem"><a class="el" href="dir_0e5a72156f8560bbc472a395da2569d6.html">SystemSharp</a></li><li class="navelem"><a class="el" href="dir_9d3c30b4336bd92c64ccf0aeee487ace.html">SystemSharp</a></li><li class="navelem"><a class="el" href="dir_d5bda8a155622a5a3d520660116af4c1.html">Analysis</a></li><li class="navelem"><a class="el" href="_fact_universe_8cs.html">FactUniverse.cs</a></li>
    <li class="footer">Generated on Thu Dec 26 2013 14:21:39 for SystemSharp by
    <a href="http://www.doxygen.org/index.html">
    <img class="footer" src="doxygen.png" alt="doxygen"/></a> 1.8.6 </li>
  </ul>
</div>
</body>
</html>
